Next:
Definition
Up:
Basic Rules of Lambda
Previous:
Example for both rules:
Contents
New book
on A++ and the Lambda Calculus
available!
Y Combinator
Subsections
Definition
Basic Usage of Y Combinator
Fixpoint of a Function
Generation of fixpoint using Y combinator
Fixpoint expansion by
-reduction
Using the Y Combinator to implement recursion
Introduction
Steps to Eliminate Implicit Recursion
Example of Step by Step Evaluation
Georg Loczewski 2003-08-07
Impressum und Datenschutz
-reduction