Re:λ Calculus [pdf]
by lmm on Thursday August 17, 2023 @11:53PM
(#37171230)
Ok, "useless" is a slight exaggeration; non-universal calculi can be useful. But the thing that makes the lambda calculus so important and famous - the thing that makes it "the lambda calculus - is universality, and that's the ur-application that makes all of the subsequent application of calculi to mechanical computation possible.
[ Parent
| on HN ]
There are no comments on this comment yet.