Loïc Pujet
Loïc Pujet
Affiliation: University of Strasbourg
Affiliation: Université de Strasbourg
Pages in this Program
Cellular Methods in Homotopy Type Theory
Definitional Proof Irrelevance Made Accessible
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑