Lutz Strassburger

Etudes supérieures

MELL in the Calculus of Structures Technical Report WV

Lutz Strassburger

Etudes supérieures

April final version for proceedings of CiE'10

Lutz Strassburger

Etudes supérieures

Introduction to Proof Theory

Lutz Strassburger

Etudes supérieures

June Final Version for “Structures and Deduction Lisbon

Lutz Strassburger

Etudes supérieures

May To be presented at HyLo'07 Part of ESSLLI

Lutz Strassburger

Etudes supérieures

April Final version appearing in Proceedings of LICS

Lutz Strassburger

Etudes supérieures

Lecture notes

Lutz Strassburger

Etudes supérieures

A Local System for Linear Logic

Lutz Strassburger

Rapports de stage

From Deep Inference to Proof Nets via Cut Elimination

Lutz Strassburger

Etudes supérieures

Linear Logic and Noncommutativity in the

Lutz Strassburger