A Lambda Calculus for (Strict) Parallel Functions (1994)

by G Boudol
Venue:Info. and Comp