Operational Semantics and Program Equivalence (2000)

by Andrew M. Pitts
Venue:INRIA Sophia Antipolis, 2000. Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho
Citations:34 - 4 self