The Ruliology of Lambdas
Click any diagram to get Wolfram Language code to reproduce it.
What Are Lambdas?
It’s a story of pure, abstract computation. In fact, historically, one of the very first. But even though it’s something I for one have used in practice for nearly half a century, it’s not something that in all my years of exploring simple computational systems and ruliology I’ve ever specifically studied. And, yes, it involves some fiddly technical details. But it’ll turn out that lambdas—like so many systems I’ve...
Read more at writings.stephenwolfram.com