#### 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. Feel free to contact me if you are interested in working with me! Here are some examples of subjects for an internship or a PhD. 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

with Xavier Leroy, at INRIA Paris

April 2016 — August 2016

with Nicolas Sangouard at University of Basel

Januar 2015 — March 2015

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