Search a Conference through our dedicated search page

Type Theory, Constructive Mathematics and Geometric Logic

3rd May 2021   -   7th May 2021
CIRM (Marseille Luminy), France
https://conferences.cirm-math.fr/2021-calendar.html
Save

Abstract

Type Theory, Constructive Mathematics and Geometric Logic