Operational Reasoning in Functions with Local State (1998)

by A M Pitts, I D B Stark
Venue:Higher Order Operational Techniques in Semantics