Next: Rule of -Reduction
Up: -Reduction
Previous: -Reduction
Contents
New book on A++ and the Lambda Calculus available!
-reduction can be applied only to reducible expressions.
A reducible expression called `redex' for short is defined as
follows:
Georg Loczewski
2003-08-07
