Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Portugal under the topic 'paulo martins rtp'.
About this video
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
Video Information
Views
116
Total views since publication
Duration
01:00:49
Video length
Published
Aug 8, 2018
Release date
Quality
hd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.