This is the second part to the Basic Lambda Calculus 1. In this we’ll go through a proper example.
Showing posts with label Reduction. Show all posts
Showing posts with label Reduction. Show all posts
Sunday, 30 May 2010
Symbolic AI – Basic Lambda Calculus 1
This post will explain some of the basics of Lambda Calculus, mainly Alpha-Conversion and Beta-Reduction. We’ll also see a quick example of a simple sentence.
This post is being written with me being slightly ill… so some bits may make no sense whatsoever – sorry :(
Subscribe to:
Posts (Atom)