Lambda Diagrams

λ計算 を図式化したもの.

• abstraction は水平線
• 変数は束縛されているλから垂直線を引く.
• application はdeepestな変数に結ぶ横線
• 一意にはならない

prime number sieve

翻訳がきつそう

Reduction

ex. Y = λf.(λx.xx)(λx.f(xx)) $\stackrel{\beta }{\Rightarrow }$ λf.(λx.f(xx))(λx.f(xx))

参考文献

• Lambda Diagrams
• Seven times Eight in Lambda Calculus - YouTube