Abstract interpretation of proofs: Classical propositional calculus (2004)

by J M E Hyland
Venue:CSL 2004, volume 3210 of LNCS