Изменения

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

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

11 байт добавлено, 01:34, 11 января 2015
Нет описания правки
{{nohate}}
'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/44046»

Навигация