ISBN:0262162091 の 6章「Nameless Representation of Terms」を読んだ。 この章には、λ式の変数を自然数に置き換えても読みづらいけど 意味は変わらないよねということが書いてあった。具体的には、 λx.λy. x (y x) というλ式は、 λ.λ. 1 (0 1) という式に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。