thorsten altenkirch, towards higher models and syntax of type theory
Published 6 years ago • 740 plays • Length 1:06:51Download video MP4
Download video MP3
Similar videos
-
59:32
thorsten altenkirch - 2/2 towards a syntax for cubical type theory
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
42:29
thorsten altenkirch - why type theory matters | lambda days 2019
-
15:56
computer science ∩ mathematics (type theory) - computerphile
-
53:06
introductory lectures on type theory (1 : functions)
-
59:01
introductory lectures on type theory (4 : coinductive types, dependent types)
-
50:12
homotopy and univalence - thorsten altenkirch
-
9:16:15
📚 master python design patterns: build flexible & robust code
-
1:37:25
iterator pattern – design patterns (ep 16)
-
7:47
homotopy type theory - an introduction to topology, formal logic, and hott #some3
-
23:40
the hardest problem in type theory - computerphile
-
1:30:37
naïve type theory by thorsten altenkirch (university of nottingham, uk)
-
53:50
a taste of type theory • bartosz milewski • yow! 2019