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

Question

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

Единственные две вещи, которые я знаю о ETA являются:

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

Answer 1

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

• α - variable renaming
• β - beta reduction
• γ - (я не видел ни одного гамма правило, если у вас есть, пожалуйста, дайте мне знать)
• δ - дельта-правило Церкви (см очень короткое уведомление Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics.):

  δ MN = T если M=N и δ MN = F если M не N для всех замкнутых НФ M и N

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

Еще интересный источник информации может быть History of Lambda-calculus and Combinatory Logic по F.Cardone и JRHindley, вполне вероятно, что там было некоторые правила, которые были оставлены давным-давно.