Reasoning about functions with effects (0)

by C Talcott
Venue:In Gordon and Pitts [24