natural models of type theory - steve awodey
Published 7 years ago • 3K plays • Length 1:28:27Download video MP4
Download video MP3
Similar videos
-
41:00
constructive type theory and homotopy - steve awodey
-
55:41
univalent foundations seminar - steve awodey
-
1:13:41
steve awodey: "model structures from models of hott"
-
16:36
homotopy type theory: what can logic do for homotopy theory? - peter lumsdaine
-
56:02
steve awodey: type theories and polynomial monads
-
1:05:09
foundations of mathematics and homotopy theory - vladimir voevodsky
-
1:01:13
univalent foundations and the equivalence principle - benedikt ahrens
-
13:13
ohbm 2022 | 2529 | symposium | mac shine | the multi-scale impacts of the ascending arousal syste…
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
1:13:48
gluing in homotopy type theory - michael shulman
-
56:52
intensionality, invariance, and univalence, steve awodey
-
1:12:07
kan simplicial set model of type theory - peter lefanu lumsdaine
-
49:25
on the setoid model of type theory - erik palmgren