Alexis Bernadet

Non-idempotent intersection types and strong normalisation

Stéphane Lengrand, Alexis Bernadet, Stéphane Lengrand, 2013, Log. Methods Comput. Sci..

A simple presentation of the effective topos pdf

Stéphane Lengrand, Alexis Bernadet, 2013, ArXiv.

A Modular Formalization of Reversibility for Concurrent Models and Languages

Ivan Lanese, Alexis Bernadet, 2016, ICE.

Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types

Stéphane Lengrand, Alexis Bernadet, 2011, FoSSaCS.

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, A. Bernadet, 2014 .

Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism

Stéphane Lengrand, Alexis Bernadet, Stéphane Lengrand, 2011, CSL.

A big-step operational semantics via non-idempotent intersection types

Stéphane Graham-Lengrand, Alexis Bernadet, 2013 .