Categorical proof theory of classical propositional calculus (0)

by Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
Venue:165, 2006. Logic, Language, Information and Computation, 11th Workshop on Logic, Language, Information and Computation