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