/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
Recursive Lambda Functions the Y-Combinator | Kevin Sookocheff
| | johnazariah.github.io
Y, oh Y! | John Azariah's Blog
2.5 parsecs away

Travel
| | The Y-Combinator. How to derive recursion in a purely functional context.
| | jao.io
spj's y-combinator in scheme
2.5 parsecs away

Travel
| | [AI summary] The author explores the Y combinator and fixed-point combinators in lambda calculus, demonstrating how to implement recursive functions like list-length in Scheme using beta abstraction to manage a strict evaluation strategy.
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
0.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?
11.9 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.