A concurrent logical framework: the propositional fragment (2004)

by K Watkins, I Cervesato, F Pfenning, D Walker
Venue:Types for Proofs and Programs, volume 3085 of Lecture Notes in Computer Science