Interdefinability of parallel operations (1991)

by A Stoughton
Venue:in PCF”, Theoretical Computer Science