Lambda Calculus: The Y combinator in ruby
In a previous article, we have shown how one can write recursive functions without using names.
Lambda Calculus: The Y combinator in javascript
In a previous article, we have shown how one can write recursive functions without using names.
Recursions without names: Introduction to the Y combinator in javascript
This is an introductory article to the Y combinator from lambda-calculus. But we won’t mention the Y combinator in this article.
Y combinator real life application: recursive memoization in clojure
When we presented the Y combinator, we said that it was very aesthetic but not so practical.
Lambda Calculus: The Y combinator in clojure
In a previous article, we have shown how one can write recursive functions without using names.
Recursions without names: Introduction to the Y combinator
In this article, we are going to show how one could write recursive functions in a language where there are no names and no loops.
Recursions without names: Introduction to the Y combinator in clojure
This is an introductory article to the Y combinator from lambda-calculus. But we won’t mention the Y combinator in this article.
Lambda Calculus Live Tutorial with Klipse: Boolean Algebra
In our previous article, we showed how the numbers are represented in lambda calculus.
Numbers and Arithmetics with functions only: lambda calculus live tutorial
The mathematical theory behind LISP is the λ-calculus (pronounced lambda-calculus).
Generative property testing with Javascript: live tutorial
testcheck-js is a library for generative testing of program properties.