A concurrent logical framework i: Judgments and properties (0)

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