6. Preservation, Progress, and Subtyping

Course notes:

We follow Frank’s course notes and prove cut-elimination for ordered logic. (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/07-preservation.pdf) (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/08-subtyping.pdf)

Additional Reading

Exercises

Assignment 3: (https://www.cs.cmu.edu/~fp/courses/15836-f23//assignments/hw3.pdf)