A concurrent logical framework ii: Examples and applications (0)

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