Document Versions

A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
Logical Frameworks –Frank Pfenning — 2000
Logical Frameworks –Frank Pfenning — 2001
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
Logical Frameworks –Frank Pfenning — 2001
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
A linear logical framework –Iliano Cervesato, Frank Pfenning