Exploring Constructive Mathematics in Univalent Type Theory with Martin Hötzel Escardó 📚
Join Martin Hötzel Escardó's Lecture III on Constructive Mathematics within Univalent Type Theory, part of the Hausdorff Trimester Program on Types, Sets, and Constructions.
Hausdorff Center for Mathematics
107 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
107
Likes
3
Duration
01:08:35
Published
Aug 8, 2018
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now