Alexis Bernadet

According to our database, Alexis Bernadet authored at least 6 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Modular Formalization of Reversibility for Concurrent Models and Languages.

Alexis Bernadet, Ivan Lanese

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

2014

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

PhD thesis, 2014

2013

Non-idempotent intersection types and strong normalisation.

Alexis Bernadet, Stéphane Lengrand

Log. Methods Comput. Sci., 2013

A simple presentation of the effective topos.

Alexis Bernadet, Stéphane Graham-Lengrand

CoRR, 2013

2011

Complexity of Strongly Normalising <i>λ</i>-Terms via Non-idempotent Intersection Types.

Alexis Bernadet, Stéphane Lengrand

Proceedings of the Foundations of Software Science and Computational Structures, 2011

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

Alexis Bernadet, Stéphane Lengrand

Proceedings of the Computer Science Logic, 2011