Operational Semantics and Program Equivalence (2000)

by A M Pitts
Venue:INRIA Sophia Antipolis, 2000. Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho