Interdefinability of Parallel Operations (1991)

by A Stoughton
Venue:In PCF. Theoretical Computer Science