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

Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию.