МЛиТА. Лямбда-исчисление

МЛиТА 2024 #14See more

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

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

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

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

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

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

Лямбда исчисление и функциональное программирование. Часть 1 | ЛекцияSee more

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

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

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

Лямбда-исчисление и теория типов (обзорная лекция)See more

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

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

Практический Haskell, урок 6. Лямбда-исчислениеSee more