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

by Martin Hofmann, Mart I N Hofmann
Venue:Math. Structures Comput. Sci