Кто хотел узнать что такое Ламда-иcчисление?

Предвкушаю вопросы из серии "И что же это?" и "А для Ъ?".

Лекции проф. А.С.Морозова по денотационной семантике (Ламбда-исчисление и его семантика)

Обновлено 3 февраля 2009 г.

Программа курса в формате PS, или в формате PDF.

Лекции по курсу в формате PDF, 910 Kb или в формате PS, 1217 Kb

http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf

спасибо

Не могу не сказать "спасибо" Евгению за как всегда полезную (если не мне, то кому-то еще) ссылку.

Профессору Лугоффскому пригодится.