Eta扩展 - 名称来源

Question

只是想知道这个名字来自哪里，eta？

我对eta知道的唯一两件事是：

• 预计到达时间
• 希腊字母的第七个字母

Answer 1

似乎这些规则只是从希腊字母的开头开始：

• α - variable renaming
• β - beta reduction
• γ - （我没有看到任何伽马规则，如果你有，请告诉我）
• δ - 教会的delta规则（见Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics.中的一个非常短的通知）：

    {p> δ MN = T如果M=N和δ MN = F M对于所有已关闭的nf N和M而言N不是Ux=Vx

  
• ε - （我还没有看到任何epsilon规则）
  
• ζ - 如果x中没有UV和U=V，那么{{1}}
  
• η - eta-rule
  

  另一个有趣的信息来源可能是F.Cardone和J.R.Hindley的History of Lambda-calculus and Combinatory Logic，很可能有一些规则在很久以前就被抛弃了。