Встреча 49: Лямбда исчисление и Грааль

ФЯП: типизированное лямбда-исчислениеSee more

Теория алгоритмов: лямбда исчисленияSee more

Матлогика 32. Лямбда-исчислениеSee more

Что такое лямбда-исчисление? Душкин объяснитSee more

Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more

Мысли и методы 37: Лямбда-исчисление и исходный код реальностиSee more

«Алый рыцарь» – Кретьен де Труа «Парсифаль, или Повесть о Граале» (фрагменты 03/30)See more

Лекция 1 | Системы типизации лямбда-исчисления | Денис Москвин | ЛекториумSee more

МЛиТА 2024 #14See more

Лямбда-исчислениеSee more

Урок 451. Экспериментальное подтверждение справедливости гипотезы де БройляSee more

Типизированное лямбда-исчислениеSee more