Signatures and models for syntax and operational semantics in the presence of variable binding
2nd December 2019
I am an assistant professor at Ecole Polytechnique in the PARTOUT team since October 2023.
My research interests mainly lie in Type Theory and Category Theory, see my research statement. My email address is .
The layout of this website is based on a previous version of Theo Winterhalter personal page, which is also popular in its current form (see Anja Komel's personal page).
2nd December 2019
A commutative diagram editor in your browser
A formalisation of Fiore-Plotkin-Turi Abstract Syntax and Variable binding in the setting of skew-monoidal categories.
Constructing inductive-inductive datatypes from indexed inductive datatypes
Weak omega groupoids/categories in Coq
Weak omega groupoids in Agda
Ambroise Lafont
JFLA 2024
Ambroise Lafont
Preprint (2023)
Ambroise Lafont, Neel Krishnaswami
Preprint (2023)
Tom Hirschowitz, Ambroise Lafont
Preprint (2023)
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
POPL 2023
Tom Hirschowitz, Ambroise Lafont
Preprint (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
FoSSaCS 2022, LMCS 2024
Tom Hirschowitz, Ambroise Lafont
LMCS 2022
Peio Borthelle, Tom Hirschowitz, Ambroise Lafont
LICS 2020
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
FSCD 2020, LMCS 2022
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
POPL 2020
Ambrus Kaposi, András Kovács, Ambroise Lafont
TYPES 2019 post-proceedings
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
FSCD 2019
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
CSL 2018, LMCS 2021
Melvyn Ho, Ambroise Lafont, Nicolas Sangouard and Pavel Sekatski (2018)
CSE Seminar at UNSW, 10 November 2020
Seminar LoVe at LIPN Paris 13, 29 October 2020
Seminar PPS at IRIF Paris 7, 26 November 2020
Seminar Proofs and algorithms at LIX Palaiseau, 22 February 2021
Seminar LDP at I2M Marseilles, 29 April 2021
Chocola seminar (ENS Lyon) March 2019
Ambroise Lafont, Nicolas Tabareau and Tom Hirschowitz
TYPES 2018