/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 sookocheff.com
Simplifying Lambda Syntax | Kevin Sookocheff
| | text.marvinborner.de
Variadic Fixed-Point Combinators
3.3 parsecs away

Travel
| | This article describes a variadic extension to the default fixed-point combinator namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).
| | danilafe.com
Lambda Calculus and Church Encoded Integers
3.2 parsecs away

Travel
| | [AI summary] The blog post explores lambda calculus, its role in computation, and how Church-encoded integers are used to represent natural numbers through abstraction and function application.
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
2.8 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
8.5 parsecs away

Travel
| Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.