Sound and complete axiomatisations of callby -value control operators (1994)

by M Hofmann