## 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/ ).