Explore >> Select a destination

You are here

 tromp.github.io
Lambda Diagrams
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
4.0 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?
4.4 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
3.4 parsecs away

Travel
| | Various varieties of function in programming languages.
| | thehousecarpenter.wordpress.com
A simple motivation for the notion of a natural transformation | The House Carpenter
20.0 parsecs away

Travel
| A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...