Abstract interpretation of proofs: Classical propositional calculus (2004)

by J Martin E Hyland
Venue:In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, CSL 2004, volume 3210 of LNCS