Изменения

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

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

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

Навигация