Collection Logic and higher structures / Logique et structures supérieures
Organisateur(s) Ara, Dimitri ; Coquand, Thierry ; Mimram, Samuel
Date(s) 21/02/2022 - 25/02/2022
URL associée https://conferences.cirm-math.fr/2689.html
De Emily Riehl
De Emily Riehl
De Emily Riehl