Operational Semantics and Program Equivalence (2000)

by A Pitts
Venue:Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho