Explore >> Select a destination


You are here

nguyenhuythanh.com
| | deniskyashif.com
3.1 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | danilafe.com
2.6 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.
| | jao.io
3.2 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.
| | text.marvinborner.de
4.4 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).