Unlambda is based on the principle of abstraction elimination, or the elimination of all saved variables, including functions.
Unlambda основана на принципе исключения абстракций (abstraction elimination) или исключения всех сохранённых переменных, включая функции.