Games and full abstraction for nondeterministic languages (1999)

Cached

Download Links

by Russell S. Harmer
Citations:31 - 3 self