introductory lectures on type theory (1 : functions)
Published 3 years ago • 9.1K plays • Length 53:06Download video MP4
Download video MP3
Similar videos
-
58:51
introductory lectures on type theory (2 : sums and products, propositional logic)
-
1:47:31
on type theory and equality (with dimitry shatkov)
-
59:01
introductory lectures on type theory (4 : coinductive types, dependent types)
-
13:31
homotopy type theory discussed - computerphile
-
23:40
the hardest problem in type theory - computerphile
-
15:56
computer science ∩ mathematics (type theory) - computerphile
-
1:06:51
thorsten altenkirch, towards higher models and syntax of type theory
-
58:47
introductory lectures on type theory (3 : classical logic, inductive datatypes)
-
59:22
introductory lectures on type theory (5 : more dependent types, predicate logic, equality)
-
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
-
52:39
lambdaconf 2015 - introduction to intuitionistic type theory vlad patryshev