Naming proofs in classical propositional logic

by François Lamarche , Lutz Straßburger
Venue:IN PAWE̷L URZYCZYN, EDITOR, TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2005, VOLUME 3461 OF LECTURE
Citations:25 - 7 self