`Travelled to:`

1 × Cyprus

1 × France

1 × Spain

1 × Switzerland

1 × USA

`Collaborated with:`

P.J.d.Naurois P.Baillot ∅ M.Gaboardi

`Talks about:`

correct (3) structur (2) multipl (2) languag (2) complet (2) proof (2) logic (2) time (2) exponenti (1) criterion (1)

## Person: Virgile Mogbil

### DBLP: Mogbil:Virgile

### Contributed to:

### Wrote 5 papers:

- ESOP-2010-BaillotGM #functional #linear #logic
- A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
- LICS-2008-NauroisM #correctness #multi #proving
- Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
- CSL-2007-NauroisM #correctness #exponential #multi #proving
- Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.
- FoSSaCS-2004-BaillotM #polynomial #λ-calculus
- Soft λ-Calculus: A Language for Polynomial Time Computation (PB, VM), pp. 27–41.
- CSL-2001-Mogbil #commutative #correctness #logic #polynomial
- Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.