lambda-calculus

Lambda calculus Lambda calculus has a way of spiraling into a lot of steps, making solving problems tedious, and it can look real hard, but it isn’t actually that bad. In lambda calculus, there are only lambdas, and all you can do with them is substitution. Lambdas are like a function or a method – … Read more

If you are done with the Wikipedia entry, follow its link to the online Structure and Interpretation of Computer Programs, do the assignments, or read the book.