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

by Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker