next up previous contents index
Next: Rule of -Abstraction Up: Beta Conversion Previous: Rule of -Reduction   Contents   Start


$ \beta $-Abstraction


Subsections

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz