Papers on the Linear Logical Framework LLF

LLF proper

  1. Iliano Cervesato and Frank Pfenning: "A Linear Logical Framework", to appear in Information & Computation. (Extended version of [2])

  2. Iliano Cervesato and Frank Pfenning: "A Linear Logical Framework", Proceedings of the Eleventh Annual Symposium on Logic in Computer Science - LICS'96 (E. Clarke editor), pp. 264-275, IEEE Computer Society Press, New Brunswick, NJ, 27-30 July 1996.

  3. Iliano Cervesato: "A Linear Logical Framework", Ph.D. thesis, Università di Torino, 1996. (An English version will eventually appear)

Implementation techniques

  1. Iliano Cervesato: "Proof-Theoretic Foundation of Compilation in Logic Programming Languages", Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming - JICSLP'98, (J. Jaffar editor), pp. 115-129, MIT Press, Manchester, UK, June 16-19 1998.

  2. Iliano Cervesato and Frank Pfenning: "Linear Higher-Order Pre-Unification", Technical Report CMU-CS-97-160, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, July 1997. (Extended version of [3])

  3. Iliano Cervesato and Frank Pfenning: "Linear Higher-Order Pre-Unification", Proceedings of the Twelfth Annual Symposium on Logic in Computer Science - LICS'97 (G. Winskel editor), pp. 422-433, IEEE Computer Society Press, Warsaw, Poland, 29 June - 2 July 1997.

  4. Iliano Cervesato and Frank Pfenning: "A Linear Spine Calculus", Technical Report CMU-CS-97-125, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, April 1997.

  5. Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning: "Efficient Resource Management for Linear Logic Proof Search", Proceedings of the International Workshop on Extensions of Logic Programming - ELP'96 (R. Dyckhoff, H. Herre, P. Schröder-Heister editors), pp. 67-81, Springer-Verlag LNAI 1050, Leipzig, Germany, 28-30 March 1996.
Last modified: 3 July 1998
Iliano Cervesato () and Frank Pfenning ()