Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
9.6.2.10. Лямбда - исчисление
и комбинаторная логика
Начало см.
здесь
.
9.6.2.10.1. Ламбда-исчисление. Его синтаксис и семантика (Х. Барендрегт, 1985)
9.6.2.10.2. Комбинаторы и лямбда - исчисление (Дж. Р. Хиндли, 1986)