A Lambda Calculus for Parallel Functions (1990)

by G Boudol