Eta扩展 - 名称来源

Question

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

我所知道的关于eta的两件事是:

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

Answer 1

似乎这些规则只是从希腊字母的开头处取得的:

• α - 可变重命名
• β - β减少
• γ - (我没有看到任何伽马规则,如果你有,请告诉我)
• δ--教会的三角洲规则(参见Barendregt中的一个非常短的通知,HP Lambda微积分:它的语法和语义.):

  ? MN = Tif M=N和? MN = Fif M不适N用于所有已关闭的nf M和N

• ε - (我还没有看到任何epsilon规则)
• ζ -如果Ux=Vx并x在不发生UV再U=V
• η - eta规则

另一个有趣的信息来源可能是F.Cardone和JRHindley 的Lambda-calculus和Combinatory Logic的历史,很可能有一些规则在很久以前就被抛弃了.