Substructural Logics
4. Proof Terms and Message Passing
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/04-proofterms.pdf), (https://www.cs.cmu.edu/~fp/courses/15836-f23/lectures/05-mpass1.pdf)