Krivine Machine and Taylor Expansion in a Non-uniform Setting. - Antoine Allioux (LINEARITY, 2016)

Types Are Internal ∞-Groupoids. - Eric Finster; Antoine Allioux; Matthieu Sozeau (LICS, 2021)

Higher Structures in Homotopy Type Theory. (Structures supérieures en théorie des types homotopiques). - Antoine Allioux (2023)