Théo Winterhalter
Théo Winterhalter
Affiliation: INRIA
Pages in this Program
Definitional Proof Irrelevance Made Accessible
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑