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:
2010
2008
2007
20042001Wrote 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.