Countable choice in Observational Type Theory

Loïc Pujet

2023-12-07 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse