Possible world semantics for general storage in call-by-value (2002)

by P B Levy
Venue:In CSL