A Linear Logical Framework (1996)

by Iliano Cervesato, Frank Pfenning