binarylambda.blogspot.com
Binary Lambda: March 2013
http://binarylambda.blogspot.com/2013_03_01_archive.html
Monday, March 11, 2013. A few days ago, partly inspired by Dave Keenan. S To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction. I discovered an interesting way to denote lambda terms. The following table shows diagrams of identity, the booleans, the standard combinators, some Church numerals, and Omega. Lambda;x.λy.x. Lambda;x.λy.y. Lambda;x.λy.λz.(x z)(y z). Lambda;f.(λx.x x)(λx.f(x x). Lambda;f.λx.f(f x). Lambda;f.λx.f(f(f x). In terms of pixels, a diagram's wi...
binarylambda.blogspot.com
Binary Lambda
http://binarylambda.blogspot.com/2013/03/lambda-diagrams-lambda-diagrams-few.html
Monday, March 11, 2013. A few days ago, partly inspired by Dave Keenan. S To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction. I discovered an interesting way to denote lambda terms. The following table shows diagrams of identity, the booleans, the standard combinators, some Church numerals, and Omega. Lambda;x.λy.x. Lambda;x.λy.y. Lambda;x.λy.λz.(x z)(y z). Lambda;f.(λx.x x)(λx.f(x x). Lambda;f.λx.f(f x). Lambda;f.λx.f(f(f x). In terms of pixels, a diagram's wi...