Progress on Higher Presheaf Models of HoTT 📚
Jonas Höfer presents progress on constructive higher presheaf models of Homotopy Type Theory at Genoa workshop, April 2025.
HoTT-UF2025
63 views • Apr 28, 2025
About this video
Workshop on Homotopy Type Theory / Univalent Foundations
Genoa, Italy, 15–16 April 2025
Genoa, Italy, 15–16 April 2025
Video Information
Views
63
Likes
3
Duration
24:21
Published
Apr 28, 2025
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.