Λ-абстракция

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

λ-абстракция — иное наименование λ-выражения (без применения λ-термов друг к другу на верхнем уровне), которое подчёркивает суть операции «абстракция» (в отличие от операции «аппликация». Выражение за точкой абстрагируется связанными переменными, получая при этом функциональную природу:

λx.λy.x(yy)