unset title
>
Contact_plural
>
Pujet
login
login
password
log in
cancel
search
Pujet
lastname
Pujet
firstname
Loïc
organisation
Department of mathematics, University of Stockholm (Sweden)
website
https://pujet.fr/
speakers_object
Countable choice in Observational Type Theory