Éric Tanter
Éric Tanter
Affiliation: University of Chile
Pages in this Program
Definitional Proof Irrelevance Made Accessible
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑