A Sound Metalogical Semantics for Input/Output Effects (1994)

Cached

Download Links

by Roy L. Crole , Andrew D. Gordon
Citations:10 - 2 self