thorsten altenkirch - 2/2 towards a syntax for cubical type theory
Published 10 years ago • 2.2K plays • Length 59:32Download video MP4
Download video MP3
Similar videos
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
1:06:51
thorsten altenkirch, towards higher models and syntax of type theory
-
18:16
who cares about topology? (inscribed rectangle problem)
-
15:56
computer science ∩ mathematics (type theory) - computerphile
-
6:56
penjelasan topologi tree
-
42:29
thorsten altenkirch - why type theory matters | lambda days 2019
-
13:31
homotopy type theory discussed - computerphile
-
53:06
introductory lectures on type theory (1 : functions)
-
50:12
homotopy and univalence - thorsten altenkirch
-
1:20:57
jeff erickson - lecture 3 - two-dimensional computational topology - 20/06/18
-
59:11
thorsten altenkirch: how to define type theories?