next up previous contents index
Next: Reducible Expression `redex' Up: Beta Conversion Previous: Rule of -Conversion   Contents   Index


$ \beta $-Reduction



Subsections

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