The Universality of the Lambda Calculus
Topics
This post demonstrates that the lambda calculus can simulate any Turing machine.
Visit davidtemplin.name ↗ (opens in new tab)Found via Kagi Small Web (opens in new tab)
This post demonstrates that the lambda calculus can simulate any Turing machine.
Visit davidtemplin.name ↗ (opens in new tab)Found via Kagi Small Web (opens in new tab)