A linear logical framework. (1996)

by Iliano Cervesato, Frank Pfenning
Venue:Proceedings of the Eleventh Annual Symposium on Logic in Computer Science–LICS’96,