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


$ \beta $-Abstraction



Subsections

domain access counter Georg P. Loczewski 2004-03-05