Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Proof nets for second order multiplicative linear logic

Participant : Lutz Straßburger.

Exploring the ideas of [4] which allowed including the units into the theory of proof nets, Lutz Straßburger developed a new theory of proof nets that also includes the quantifiers, without relying on boxes, as in Girard's original work. The results are not yet published, but available from Straßburger's webpage (http://www.lix.polytechnique.fr/~lutz/ ).


previous
next

Logo Inria