logo INTRANET FOR ORGANIZERS

Théorie des types, mathématiques constructives et logique géométrique

Type Theory, Constructive Mathematics and Geometric Logic

From 2023-05-01 To 2023-05-05