O'Reilly logo

Good Math by Mark C. Chu-Carroll

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Writing λ Calculus: It’s Almost Programming!

Before we really dive in to the specifics of λ calculus, let’s consider exactly what makes it a calculus. To most of us, the word calculus means something very specific: the differential and integral calculus invented by Isaac Newton and Gottfried Leibnitz. λ calculus has nothing to do with that kind of calculus!

In mathematical terms, a calculus is a system for symbolically manipulating expressions. Differential calculus is a calculus because it’s a way of manipulating expressions that represent mathematical functions. λ calculus is a calculus because it describes how to manipulate expressions that describe computations.

The way that we define a calculus is very much like the way that we defined ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required