Lambda calculi for (strict) parallel functions (1991)

by G Boudol
Venue:INRIA - Sophia Antipolis