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