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

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