Operationally-based theories of program equivalence (1997)

by Andrew Pitts
Venue:Semantics and Logics of Computation
Citations:75 - 4 self