15317 Constructive Logic
Lecture 23: Linear Logic
In this lecture we move away from the inference rule notation
to capture the idea behind ephemeral and persistent propositions
in propositions themselves. This leads us to Girard's Linear
Logic, in its intuitionistic form.
[ Home
 Schedule
 Assignments
 Handouts
 Software
]
fp@cs
Frank Pfenning
