Evaluation of Expressions

Alpha conversion:

Renaming of a bound variable and its bound occurrences.

?x.?y.y ?? ?x.?z.z

Previous slide

Next slide

Back to first slide

View graphic version