Next:
Reducible Expression `redex'
Up:
Beta Conversion
Previous:
Rule of -Conversion
Contents
Start
-Reduction
Subsections
Reducible Expression `redex'
Rule of
-Reduction
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
-Reduction