functional-programming - イータ拡張 - 名前の由来

Question

名前の由来は？

eta について私が知っていることは次の 2 つだけです。

• 到着予定時刻
• ギリシャ語アルファベットの 7 番目の文字

Answer 1

ルールはギリシャ語のアルファベットの始まりから単純に取られているようです:

• α -変数の名前変更
• β -ベータ還元
• γ - (ガンマ ルールは見たことがありません。もしあれば教えてください)
• δ - Church のデルタ規則 ( Barendregt の HP The Lambda Calculus: Its Syntax and Semanticsの非常に短い通知を参照してください。 ):

  δ MN = TifM=Nおよびδ MN = FifMがNすべてのクローズド nfではなくM、N

• ε - (イプシロン ルールは見たことがありません)
• ζ -Ux=Vxかつxが発生しないUV場合U=V
• η -エータ規則

さらに興味深い情報源は、F.Cardone と JRHindley によるHistory of Lambda-calculus and Combinatory Logicである可能性があります。かなり前に放棄されたルールがいくつかあった可能性があります。