Lambda Calculus

An illustrated explanation of lambda calculus, Alonzo Church's 1936 model of computation, showing how functions and variables reduce to express any program.

Tonble
Share X Reddit Bluesky Email
Screenshot of afnan.io

Stumble onto more like this

One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.

Add to Browser — it's free

Works in Chrome, Edge and Brave. No account needed.