Next:
Rule of -Reduction
Up:
-Reduction
Previous:
-Reduction
Contents
Start
Reducible Expression `redex'
-reduction can be applied only to reducible expressions. A reducible expression called `redex' for short is defined as follows:
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz