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

by G BOUDOL