A Concurrent Logical Framework II: Examples and Applications (2002)

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