21 ordered
Metadata
Source URL:: https://www.cs.cmu.edu/~fp/courses/15317-f17/lectures/21-ordered.pdf
Topics:: #cut, #ordered_logic, #cut_elimination, #pfenning
Source URL:: https://www.cs.cmu.edu/~fp/courses/15317-f17/lectures/21-ordered.pdf
Topics:: #cut, #ordered_logic, #cut_elimination, #pfenning