Lambda calculus started off with the simple, untyped lambda calculus that we've been talking about so far. But one of the great open questions about lambda calculus was: was it sound? Did it have a valid model? Church found that...
Read on »
Posted on September 1, 2006 8:30 AM • 4 Comments •
So in the last few posts, I've been building up the bits and pieces that turn lambda calculus into a useful system. We've got numbers, booleans, and choice operators. The only thing we're lacking is some kind of repetition or...
Posted on August 31, 2006 9:12 AM • 4 Comments •
I'm on vacation this week, so I'm posting reruns of some of the better articles from when Goodmath/Badmath was on Blogger. Todays is a combination of two short posts on numbers and control booleans in λ calculus. So, now, time...
Posted on August 30, 2006 8:33 AM • 0 Comments •
I'm on vacation this week, so I'm recycling some posts that I thought were particularly interesting to give you something to read. In computer science, especially in the field of programming languages, we tend to use one particular calculus a...
Posted on August 29, 2006 8:30 AM • 5 Comments •
