hott-2019-05-21 higher inductive types
Published 2 years ago • 541 plays • Length 1:41:05Download video MP4
Download video MP3
Similar videos
-
1:40:24
hott-2019-05-14 equivalences
-
1:17:39
22 higher inductive types
-
7:26
more on higher inductive types
-
1:39:53
hott-2019-04-16 type theory
-
4:15
testing hot spot size, duxtop 9600ls induction cooktop
-
57:32
five stages of accepting constructive mathematics - andrej bauer
-
1:17:14
01 course introduction
-
28:27
a general syntax for nonrecursive higher inductive types - marco girardi
-
3:19
rohde & schwarz ngm201 vs. ngu201 power supply comparison
-
20:49
higher inductive types in cubical computational type theory
-
1:16:31
21 inductive types