next up previous contents
Next: Rule of -Reduction Up: -Reduction Previous: -Reduction   Contents
New book on A++ and the Lambda Calculus available!

Reducible Expression `redex'

beta reduction-reduction can be applied only to reducible expressions. A reducible expression called `redex' for short is defined as follows:
redex


Georg Loczewski 2003-08-07

Impressum und Datenschutz