b reduction and a renaming

• Identifying free variables in e1 is not enough!

• Free Variable Capture:

( l f . ( l a . ( f a) ) ) ( l f . ( f a) )

­ BOUND a ­ FREE a

( l a . (( l f . ( f a) ) a) )

­ CAPTURED a

Previous slide

Next slide

Back to first slide

View graphic version