introductory lectures on type theory (2 : sums and products, propositional logic)
Published 3 years ago • 1.9K plays • Length 58:51Download video MP4
Download video MP3
Similar videos
-
53:06
introductory lectures on type theory (1 : functions)
-
59:22
introductory lectures on type theory (5 : more dependent types, predicate logic, equality)
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
15:56
computer science ∩ mathematics (type theory) - computerphile
-
42:29
thorsten altenkirch - why type theory matters | lambda days 2019
-
0:37
when mathematicians get bored (ep1)
-
0:16
pakistan education system what a beautiful environment wow🤣🤣
-
58:47
introductory lectures on type theory (3 : classical logic, inductive datatypes)
-
59:01
introductory lectures on type theory (4 : coinductive types, dependent types)
-
0:11
logical reasoning???#viral #vidumzn
-
7:51
truth table tutorial - discrete mathematics logic