Section: New Results
Proof nets for second order multiplicative linear logic
Participant : Lutz Straßburger.
Exploring the ideas of  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/ ).