Литература по лямбда-исчислению.

[Pulseofmalstrem]

Доброе время суток!
Посоветуйте литературу по лямбда-исчислению и комбинаторной логике, желателен формат монографии, чтобы подробно освещались разные аспекты этой теории.

[arseniiv]

О, монографии! Есть, например, монография Барендрегта Ламбда-исчисление. Его синтаксис и семантика, но оригинал — 1981 года (перевод — 1985).