martin escardó, constructive mathematics in univalent type theory
Published 5 years ago • 797 plays • Length 1:24:16Download video MP4
Download video MP3
Similar videos
-
1:00:05
martin hötzel escardó: constructive mathematics in univalent type theory (lecture i)
-
1:08:35
martin hötzel escardó: constructive mathematics in univalent type theory (lecture iii)
-
1:00:49
martin hötzel escardó: constructive mathematics in univalent type theory (lecture ii)
-
1:10:05
martín escardó: "compact totally separated types in constructive univalent type theory"
-
1:40:52
rewriting the story of humankind
-
1:02:23
thomas j. r. hughes, isogeometric analysis: mathematical and engineering perspectives
-
13:19
the biggest project in modern mathematics
-
41:00
constructive type theory and homotopy - steve awodey
-
6:37
gohmath: #49 ~ unit conversion 2 ~ cset math ~ by chris abraham ~ gohmath.com
-
14:36
constructive versus nonconstructive proof