Simply Typed Lambda Calculus
Vídeos relacionados
1:50:20
Введение в Haskell
2:23:43
Лямбда-исчисление
1:30:11
1. Лямбда-исчисление
1:34:22
HoTT 1: Типизированное лямбда исчисление
47:39
Виталий Брагилевский — Монады - не приговор
1:17:45
Об истории обобщенных функций // Владимир Арнольд
12:25
Why The Russian Accent Terrifies Everyone
2:02:56
Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
55:13
Спор о первом языке программирования: окончательное решение / Виталий Брагилевский (JetBrains)
22:52
Самое опасное когнитивное искажение [Veritasium]
1:10:36