Последние добавленные видео:
Type-Theory
-
3 месяца назад
9219 3 месяца назад 15:22Type theory and the algebra of types
-
3 года назад
66294 3 года назад 10:08Why should you learn Type Theory?
-
8 лет назад
268889 8 лет назад 15:56Computer Science ∩ Mathematics (Type Theory) - Computerphile
-
2 года назад
9820 2 года назад 53:50A Taste of Type Theory • Bartosz Milewski • YOW! 2019
-
2 дня назад
86 2 дня назад 13:53Research Methodology | Lecture-9 Observation & it's types|Experimentation & it's types|Questionnaire
-
6 лет назад
1570 6 лет назад 27:59Gabriel Habryn - Type theory in practice | Lambda Days 19
-
5 лет назад
20233 5 лет назад 19:24Type Theory for the Working Rustacean - Dan Pittman
-
3 года назад
133734 3 года назад 23:40The Hardest Problem in Type Theory - Computerphile
-
4 года назад
5912 4 года назад 10:17My First Type Theory
-
1 год назад
7413 1 год назад 14:41What is...homotopy type theory?
-
7 лет назад
61986 7 лет назад 5:53Homotopy Type Theory: Vladimir Voevodsky - Computerphile
-
11 месяцев назад
13339 11 месяцев назад 51:01Type Theory for Busy Engineers - Niko Matsakis
-
7 лет назад
69983 7 лет назад 13:31Homotopy Type Theory Discussed - Computerphile