A concurrent logical framework I: Judgments and properties (2002)

by K Watkins, I Cervesato, F Pfenning, D Walker