Publications

  • PhD thesis, defended on Nov. 5th, 2020
    manuscript

  • Weak omega-categories as models of a type theory

    Preliminary version - Expect regular updates, potential typos and layout problems, but the overall content should stay fixed
    preprint

  • Monoidal weak omega-categories as models of a type theory

    Submitted to the proceedings of HoTT 2019
    preprint

  • Suspension et fonctorialisation: deux opérations utiles en CaTT

    with Samuel Mimram, In JFLA (Journées Francophones des Langages Applicatifs) 2019. (In French)
    Hal