Explore >> Select a destination

You are here

 afnan.io
Lambda Calculus
| | tromp.github.io
Lambda Diagrams
1.2 parsecs away

Travel
| |
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
1.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.
| | azdavis.net
Terms, types, and functions
0.6 parsecs away

Travel
| | Various varieties of function in programming languages.
| | text.marvinborner.de
Variadic Fixed-Point Combinators
5.2 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).