calculus+recursion

In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory.

tutorial computer programming reference science algorithm calculus functional lisp ycombinator lambda recursion

In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory.

tutorial computer programming reference science calculus functional scheme lisp ycombinator lambda recursion