A Linear Logical Framework

13 years 9 months ago

Download www.cs.cmu.edu

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

Iliano Cervesato, Frank Pfenning

Real-time Traffic

Automated Reasoning | Classical Linear Logic | LICS 1996 | Linear Logic | Linear Type Theory |

claim paper

Related Content

» A Meta Linear Logical Framework

» From Focalization of Logic to the Logic of Focalization

» Higherorder representation of substructural logics

» A Framework for Proof Systems

» Specifying Proof Systems in Linear Logic with Subexponentials

» Quantitative Game Semantics for Linear Logic

» Structural Cut Elimination

» Hybrid BranchingTime Logics

» Specifying Properties of Concurrent Computations in CLF

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1996
Where	LICS
Authors	Iliano Cervesato, Frank Pfenning

Comments (0)

Sciweavers

A Linear Logical Framework

Automated Reasoning | Classical Linear Logic | LICS 1996 | Linear Logic | Linear Type Theory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers