constructive type theory and homotopy - steve awodey
Published 7 years ago • 7.3K plays • Length 41:00Download video MP4
Download video MP3
Similar videos
-
55:41
univalent foundations seminar - steve awodey
-
1:28:27
natural models of type theory - steve awodey
-
16:36
homotopy type theory: what can logic do for homotopy theory? - peter lumsdaine
-
1:05:09
foundations of mathematics and homotopy theory - vladimir voevodsky
-
14:30
hevra - ev mechanics who drive electric
-
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky [2002]
-
57:32
five stages of accepting constructive mathematics
-
18:19
homotopy type theory: working invariantly in homotopy theory -guillaume brunerie
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
56:02
steve awodey: type theories and polynomial monads
-
1:43:54
cohomology in homotopy type theory - eric finster
-
50:12
homotopy and univalence - thorsten altenkirch