Sound and Complete Axiomatisations of Call-By-Value Control Operators (1994)

by Martin Hofmann
Venue:MATH. STRUCTURES COMPUT. SCI