Поиск в словарях
Pure lambda-calculus
Lambda-calculus
with no constants, only functions expressed as lambda abstractions.