A linear logical framework. Information and Computation (1998)

by Iliano Cervesato, Frank Pfenning