thorsten altenkirch - 1/2 towards a syntax for cubical type theory
Published 10 years ago • 10K plays • Length 1:17:33Download video MP4
Download video MP3
Similar videos
-
59:32
thorsten altenkirch - 2/2 towards a syntax for cubical type theory
-
1:06:51
thorsten altenkirch, towards higher models and syntax of type theory
-
53:06
introductory lectures on type theory (1 : functions)
-
23:40
the hardest problem in type theory - computerphile
-
15:56
computer science ∩ mathematics (type theory) - computerphile
-
5:53
homotopy type theory: vladimir voevodsky - computerphile
-
42:29
thorsten altenkirch - why type theory matters | lambda days 2019
-
0:53
delta question 1: why is the delta course worth taking?
-
13:31
homotopy type theory discussed - computerphile
-
59:33
patrick schnider: tukey, tverberg, and other combinatorial depth measures
-
50:12
homotopy and univalence - thorsten altenkirch
-
59:01
introductory lectures on type theory (4 : coinductive types, dependent types)
-
59:11
thorsten altenkirch: how to define type theories?
-
53:42
topological transcendence degree