Lambda-calculi for (strict) parallel functions (1994)

by G Boudol
Venue:Information and Computation