Contents

• Revision: syntax and rules

• b-reduction and a-renaming

• Reduction stategies

• Normal Forms

Previous slide

Next slide

Back to first slide

View graphic version