Unit 6 Study Guide
- Name the three major frameworks for describing program semantics and give a short description of each.
- Explain the three basic elements of lambda calculus.
- Apply beta-reduction and alpha-conversion to reduce lambda expressions to their simplest form.
- Explain the correspondence between lambda calculus and Turing computation.
- Explain the relationship between lambda calculus and functional programming.