thorsten altenkirch, towards higher models and syntax of type theory
Published 6 years ago • 743 plays • Length 1:06:51Download video MP4
Download video MP3
Similar videos
-
53:06
introductory lectures on type theory (1 : functions)
-
1:30:37
naïve type theory by thorsten altenkirch (university of nottingham, uk)
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
54:40
p, np and proof complexity
-
3:28
upper-intermediate level english - £10. (skype-lessons.com - coupon code = 'ten')
-
44:32
taut, tfnp and sat
-
8:17
istqb foundation level certification explained – chapter 3
-
1:47
rethinc. labs