Summary

• Revision: syntax and rules

• b-reduction and a-renaming

  • Free variable capture

• Reduction stategies

  • Church-Rosser theorem
  • Normal Order, Applicative Order

• Normal Forms: NF, HNF, WHNF

Previous slide

Next slide

Back to first slide

View graphic version