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

beta abstraction-Abstraction



Subsections

Georg Loczewski 2003-08-07