A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation (1994)

Cached

Download Links

by Alan Jeffrey
Citations:9 - 3 self