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

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

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

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

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

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

Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1 (Часть 1)See more

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

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

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

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