Sound and complete axiomatisations of call-by-value control operators (1995)

by Martin Hofmann
Venue:Mathematical Structures in Computer Science