EDA045F Program Analysis: Homework 5

Please try to track the time that you need for the homework assignment and report it, so that we can calibrate the effort for future classes.

Types and Natural Semantics

This is a group project and intended to be worked on in a team of two. If you have no partner, you can also submit alone.

Resources

Exercise sheet: [pdf]
Exercise sheet (source): [tex] (optional)

Submission

Deadline: Thursday the 18th of December (end-of-day)
Submission mechanism: Moodle

Tasks

The exercise sheet describes all three tasks. You can optionally use the exercise sheets and/or the definitions in the LaTeX source for typesetting.