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

Просто интересно, откуда взялось имя, эта?

Единственное, что я знаю об этой, - это:

расчетное время прибытия
седьмая буква греческого алфавита

Ответ 1

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

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

δ MN = T, если M=N и δ MN = F, если M не N для всех закрытых nf M и N
ε - (я не видел никакого правила эпсилона)
ζ - если Ux=Vx и x не встречается в UV, то U=V
η - eta-rule

Еще одним интересным источником информации может быть История лямбда-исчисления и Combinatory Logic от F.Cardone и J.R.Hindley, вероятно, что были некоторые правила, которые были оставлены давным-давно.