Reasoning about functions with effects (1998)

by C Talcott
Venue:In Higher Order Operational Techniques in Semantics