Team Parsifal

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

Section: Dissemination

Internship supervision

From March to August 2007, Nicolas Guenot (MPRI) was writing his Master's thesis on “Proof search, multi-focussing and deep inference for linear logic” under the supervision of Lutz Straßburger.


previous
next

Logo Inria