Abstract Interpretation of Proofs: Classical Propositional Calculus (0)

by M Hyland
Venue:In Computer Science Logic, J. Marcinkowski and A. Tarlecki (eds). LNCS 3210, SpringerVerlag 2004