Lambda calculusgrass

このページは半公開の庭先公開ページです。

ラムダ計算

関連項目

Y Combinatorを理解せずしてY Combinatorを語るなgrass

Y = λf.(λx.f (x x)) (λx.f (x x)) 勝手に思った Paul Graham Lambda calculus における不動点コンビネーター 再帰のないところに再帰を作り出す けどこれ、 baku89#icon もちゃんと理解できてないので、僕もY Combinatorは語