Lambda calculusgrass

This is a semi-public garden page — a draft, left open on purpose.

ラムダ計算

Related

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

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