Exploring Constructive Mathematics in Univalent Type Theory with Martin Hötzel Escardó 📚
Join Martin Hötzel Escardó's insightful lecture on Constructive Mathematics within Univalent Type Theory, part of the Hausdorff Trimester Program on Types, Sets, and Constructions.
Hausdorff Center for Mathematics
523 views • Aug 8, 2018
About this video
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
523
Likes
12
Duration
01:00:05
Published
Aug 8, 2018
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.