Изменения

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

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

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

Навигация