next up previous contents
Next: -Abstraction Up: -Reduction Previous: Reducible Expression `redex'   Contents
New book on A++ and the Lambda Calculus available!

Rule of beta reduction-Reduction

Beta Reduction


Georg Loczewski 2003-08-07

Impressum und Datenschutz