Изменения

}}

Существует также альтернативное эквивалентное определение <tex>\lambda</tex>-исчисления.

В оригинальном определении для обозначения переменных использовались имена,