Publications

  • Weak omega-categories as models of a type theory

    arXiv, preprint

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

  • 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