An affine-intuitionistic system of types and effects: confluence and termination - Roberto M. Amadio; Patrick Baillot; Antoine Madet (CoRR, 2009)

An Elementary Affine λ-Calculus with Multithreading and Side Effects. - Antoine Madet; Roberto M. Amadio (TLCA, 2011)

Elementary affine λ-calculus with multithreading and side effects - Antoine Madet; Roberto M. Amadio (CoRR, 2011)

Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. - Aloïs Brunel; Antoine Madet (APLAS, 2012)

A polynomial time λ-calculus with multithreading and side effects. - Antoine Madet (PPDP, 2012)

Implicit Complexity in Concurrent Lambda-Calculi. (Complexité Implicite de Lambda-Calculs Concurrents). - Antoine Madet (2012)

Certified Complexity (CerCo). - Roberto M. Amadio; Nicholas Ayache; François Bobot; Jaap Boender; Brian Campbell 001; Ilias Garnier; Antoine Madet; James McKinna; Dominic P. Mulligan; Mauro Piccolo; Randy Pollack; Yann Régis-Gianas; et al. (FOPARA, 2013)