Write a Blog >>

Registered user since Wed 4 Dec 2019

Name: Loïc Pujet

Affiliation: Gallinette Project-Team, Inria

Personal website: https://pujet.fr

Contributions

CPP 2020 Cubical Synthetic Homotopy Theory
Show activities from other conferences

POPL 2020-profile
View general profile