Lecture April 6, Soundness of reduction with respect to denotational semantics

From Jeremy Siek April 6th, 2020