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 2020Author of Cubical Synthetic Homotopy Theory within the CPP 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile