Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism. - Alexis Bernadet; Stéphane Lengrand (CSL, 2011)

Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types. - Alexis Bernadet; Stéphane Lengrand (FoSSaCS, 2011)

A simple presentation of the effective topos. - Alexis Bernadet; Stéphane Graham-Lengrand (CoRR, 2013)

Non-idempotent intersection types and strong normalisation. - Alexis Bernadet; Stéphane Lengrand (Log. Methods Comput. Sci., 2013)

Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information). - Alexis Bernadet (2014)

A Modular Formalization of Reversibility for Concurrent Models and Languages. - Alexis Bernadet; Ivan Lanese (ICE, 2016)