Operational reasoning for functions with local state. (1998)

by A Pitts, I Stark
Venue:In Higher order operational techniques in semantics,