Naming proofs in classical propositional logic (2005)

by François Lamarche, Lutz Straßburger
Venue:In Pawe̷l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of LNCS