Изменения

Перейти к: навигация, поиск

Лямбда-исчисление

4 байта добавлено, 02:08, 11 января 2015

Нет описания правки

== Лямбда-исчисление==

Более формально, ''лямбда-~~функцию~~выражение'' (<tex>\lambda -term</tex>) можно задать

следующей грамматикой:

{{Определение

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/44056»