Curry,HB - Curry

…The amount of tape used is not limited in advance, but is prepared infinitely so that it can be used as much as needed. Another computational model is the lambda calculus proposed by HBCurry and A.Church. In lambda calculus, calculations are performed by successively rewriting lambda expressions using transformation rules such as the beta transformation. …

*Some of the terminology explanations that mention "Curry,HB" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…テープの使用量を前もって限定せず，必要に応じていくらでも使えるように無限に用意してある。　別の計算モデルとしては，カリーH.B.Curry，チャーチA.Churchらによるラムダ計算がある。ラムダ計算では，ラムダ式をベータ変換などの変換規則により次々と書き換えていくことにより計算を行う。…

※「カリー,H.B.」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報