Rules for Evaluation (1)

• a-reduction

• b-reduction

• h-reduction ( if x not free in E)

l x . E

l y . E [ y / x ]

( ( l x . E ) z )

E [ z / x ]

l x . ( E x )

E

Previous slide

Next slide

Back to first slide

View graphic version