Assignment 3 – Questions and Answers

Due Thursday 4/25 1:59pm

In this assignment, B refers to the little boolean language from chapter 1.

Exercise 1. Complete formally the proof of Church-Rosser for B (lemma 2.3, p. 17).

Deliverables: Please bring your solutions to class or drop them at Christos’s office.