Document Versions

A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996
Logical Frameworks –Frank Pfenning, Second Readers Robert Harper, Don Sannella, Jan Smith — 2000
Logical Frameworks –Frank Pfenning, Second Readers Robert Harper, Don Sannella, Jan Smith — 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
A Linear Logical Framework –Iliano Cervesato, Frank Pfenning — 1996