A Linear Logical Framework

We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'96, New Brunswick, NJ, July 27

• Type: Conference
• Year: 1996
• Where: LICS
• Authors: Iliano Cervesato, Frank Pfenning
• Keywords: Automated Reasoning, Classical Linear Logic, LICS 1996, Linear Logic, Linear Type Theory