The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference

A Guglielmi

Research output: Contribution to conferencePaper

Original languageEnglish
Pages53-68
Number of pages16
Publication statusPublished - 2005
EventICALP '05 Workshop `Structures and Deduction' -
Duration: 1 Jan 2005 → …

Conference

ConferenceICALP '05 Workshop `Structures and Deduction'
Period1/01/05 → …

Cite this