Здравствуйте, Sergey Chadov, Вы писали:

SC>Здравствуйте, deniok, Вы писали:


D>>Фундаментальные монографии:
D>>Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985.

SC>А от этого дяденьки у меня у одного мозг в лист Мёбиуса сворачивается?

Мой любимый автор! Относится к редкому типу: его читать не скучно. Я его перевожу на досуге