Interdefinability of Parallel Operations in PCF (1991)

by A Stoughton
Venue:Theoretical Comp. Sci