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
Impressum und Datenschutz