Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban. Categorical proof theory of classical propositional calculus. Theoretical Computer Science, 364(2):146-165, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.