External Source

Univalent Foundations Seminar - Peter Lumsdaine

2016 1:34:59
Synopsis
Peter Lumsdaine Dalhousie University; Member, School of Mathematics November 8, 2012 For more videos, visit ...

You Might Also Like

The Simplicial Model of Univalence - Peter Lumsdaine 1:27:26
The Simplicial Model Of Univalence - Peter Lumsdaine
2016
Higher Inductive Types - Peter Lumsdaine 15:00
Higher Inductive Types - Peter Lumsdaine
2016
Peter LeFanu Lumsdaine, What are we thinking when we present a type theory? 1:00:25
Peter Lefanu Lumsdaine, What Are We Thinking When We Present...
2020
Univalent Foundations Seminar - Steve Awodey 55:41
Univalent Foundations Seminar - Steve Awodey
2016
Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine 1:28:36
Homotopy Group - (1)dan Licata, (2)guillaume Brunerie, (3)pe...
2016
Simplicial Types - Peter Lumsdaine 1:20:46
Simplicial Types - Peter Lumsdaine
2016
Peter Lumsdaine and Guillaume Brunerie, Initiality for Martin-Löf type theory 1:42:00
Peter Lumsdaine And Guillaume Brunerie, Initiality For Marti...
2020
Peter Lumsdaine, Inverse diagram models of type theory 1:17:25
Peter Lumsdaine, Inverse Diagram Models Of Type Theory
2018
Univalent foundations and the equivalence principle - Benedikt Ahrens 1:01:13
Univalent Foundations And The Equivalence Principle - Benedi...
2018
Univalent foundations and the equivalence principle - Benedikt Ahrens 14:17
Univalent Foundations And The Equivalence Principle - Benedi...
2015
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie 17:30
Invariant Homotopy Theory In The Univalent Foundations - Gui...
2016
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.