Homework 10

Due: Monday, 11/27

(same pic as last week)

Part 1: Properties of the Simply-Typed Lambda Calculus

Complete all exercises in StlcProp.v up to but not including the Additional Exercises.

Submit through Blackboard before 11:59pm on the due date.

Part 2: Final Projects