Next:
Definition
Up:
Basic Rules for Lambda
Previous:
Example for both rules:
Contents
Start
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 P. Loczewski 2004-03-05
Impressum und Datenschutz
-reduction