Расширение Eta - название происхождения

Ответ 1

Похоже, что правила были просто взяты из начала греческого алфавита:

• α - переименование переменной
• β - бета-версия
• γ - (Я не видел никакого гамма-правила, если да, дайте мне знать)
• δ - Правило церковной дельта (см. очень короткое уведомление в Барендредт, Х. П. Исчисление лямбда: его синтаксис и семантика.):

  δ MN = T, если M=N и δ MN = F, если M не N для всех закрытых nf M и N

• ε - (я не видел никакого правила эпсилона)
• ζ - если Ux=Vx и x не встречается в UV, то U=V
• η - eta-rule