## Section: Dissemination

### Evaluation

Dale Miller was an examinator for the PhD thesis of Samuel Mimram (Université Paris VII, 1 Dec 2008) and of Paolo Di Giamberardino (University of Rome 3 and University of the Mediterranean, 18 April 2008).

Team
Parsifal

Overall Objectives

Scientific Foundations

Application Domains

New Results

- Formalizing operational semantic specifications in logic
- New insights into -quantification
- Foundational aspects of focusing proof systems
- A neutral approach to proof and refutation in MALL
- Meta-level focusing and object-level proof system
- Proof complexity
- Proof normalization in sequent calculus
- Computation with meta-variables
- A Stochastic Linear Logic for Biological Computation

Other Grants and Activities

Bibliography