Antoine Madet

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Computational Power

Deductive Databases

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Antoine Madet
A polynomial time λ-calculus with multithreading and side effects CoRR (2012)
Aloïs Brunel, Antoine Madet
Indexed realizability for bounded-time programming with references and type fixpoints CoRR (2012)
Antoine Madet
A polynomial time λ-calculus with multithreading and side effects. PPDP (2012)
Aloïs Brunel, Antoine Madet
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. APLAS (2012)
Antoine Madet, Roberto M. Amadio
Elementary affine λ-calculus with multithreading and side effects CoRR (2011)
Antoine Madet, Roberto M. Amadio
-Calculus with Multithreading and Side Effects. TLCA (2011)
Roberto M. Amadio, Patrick Baillot, Antoine Madet
An affine-intuitionistic system of types and effects: confluence and termination CoRR (2010)
Roberto M. Amadio, Patrick Baillot, Antoine Madet
An affine-intuitionistic system of types and effects: confluence and termination CoRR (2009)