The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
Guglielmi, A., 2005. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference. In: ICALP '05 Workshop `Structures and Deduction', 2005-01-01.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Item Type||Conference or Workshop Items (Paper)|
|Departments||Faculty of Science > Computer Science|
Actions (login required)