Logic and higher structures / Logique et structures supérieures

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
Donner son avis
Loading…
Loading the web debug toolbar…
Attempt #