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

by Paul Blain Levy
Venue:Computer Science Logic. Lecture Notes in Computer Science