BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mogbil:Virgile

Contributed to:

ESOP 20102010
LICS 20082008
CSL 20072007
FoSSaCS 20042004
CSL 20012001

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.