Relating Operational and Denotational Semantics for Input/Output Effects (1999)

Cached

Download Links

by Roy L. Crole , Andrew D. Gordon
Citations:7 - 3 self