Categorical Proof Theory of Classical Propositional Calculus (2005)

by Gianluigi Bellin , Martin Hyland , Edmund Robinson , Christian Urban
Citations:9 - 1 self