Logic and higher structures / Logique et structures supérieures

Collection Logic and higher structures / Logique et structures supérieures


Organizer(s) Ara, Dimitri ; Coquand, Thierry ; Mimram, Samuel
Date(s) 2/21/22 - 2/25/22
linked URL https://conferences.cirm-math.fr/2689.html
Give feedback