Learning Objectives
With this assignment you will demonstrate:
- Increased fluency with the Lambda Calculus
- The ability to write denotational semantic specifications
- An understanding of the need for the advanced mathematical machinery required to use denotational semantics
Readings and Videos
Please:
Instructions
Submit your answers on a PDF or Markdown document uploaded to BrightSpace.
Problems to Submit
Textbook problems only for this assignment!
- Problem 9.1.5 in Slonneger and Kurtz
- Problem 9.2.6 in Slonneger and Kurtz
- Problem 9.3.1 (a,b) in Slonneger and Kurtz
- Problem 9.3.9 in Slonneger and Kurtz
- Problem 10.1.2 in Slonneger and Kurtz