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

Rule of beta abstraction-Abstraction

Beta Abstraction


Georg Loczewski 2003-08-07
Impressum und Datenschutz