Next:
Reducible Expression `redex'
Up:
Beta Conversion
Previous:
Rule of -Conversion
Contents
New book
on A++ and the Lambda Calculus
available!
-Reduction
Subsections
Reducible Expression `redex'
Rule of
-Reduction
Georg Loczewski 2003-08-07
Impressum und Datenschutz
-Reduction