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


$ \beta $-Abstraction



Subsections

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz
access counter