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:

• Read Chapter 9 and lightly skim Chapter 10 of the Slonneger and Kurtz Textbok.
• Review the course notes for Semantics and Denotational Semantics. Read the course notes for Bella.
• Watch all of the embedded videos in the course notes listed above. Also, follow a few of the links on those pages that interest you.

Submission Instructions

You may work alone or in groups of at most 3 students. If you choose to pair or triple up, DO NOT “partition” the work. Letting a team member do some problems while you do others cheapens your educational experience and leaves you behind. It is best for each student to do all of the problems, then meet as a group to (1) select the “best” answer for submission when more than one exist, and (2) teach each other: that is, if one group member is unable to do one of the problems, another group member can teach that student how it do it. Everyone is responsible for understanding the entire homework submission, so everyone should contribute to the entire assignment.

Submit your work in a single beautiful PDF uploaded to BrightSpace. Please do not submit photos of handwritten answers; you need to take pride in your work.

On the PDF, include each student’s name along with the list of which of the assigned readings were done. For each reading, mark it skimmed, read, or did-not-do. Then include answers to the following problems.

1. Problem 9.1.5 in Slonneger and Kurtz
2. Problem 9.2.6 in Slonneger and Kurtz
3. Problem 9.3.1 (a,b) in Slonneger and Kurtz
4. Problem 9.3.9 in Slonneger and Kurtz
5. Problem 10.1.2 in Slonneger and Kurtz