Alexis Bernadet

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Machine Learning Algorithms

Knowledge Representation

Highly Reliable

Top Venues

Log. Methods Comput. Sci.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Alexis Bernadet, Ivan Lanese
A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE (2016)
Alexis Bernadet, Stéphane Graham-Lengrand
A simple presentation of the effective topos. CoRR (2013)
Alexis Bernadet, Stéphane Lengrand
Non-idempotent intersection types and strong normalisation. Log. Methods Comput. Sci. 9 (4) (2013)
Alexis Bernadet, Stéphane Lengrand
-Terms via Non-idempotent Intersection Types. FoSSaCS (2011)
Alexis Bernadet, Stéphane Lengrand
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism. CSL (2011)