Théorie des types, mathématiques constructives et logique géométrique
Type Theory, Constructive Mathematics and Geometric Logic
1-5 May, 2023