A Lambda-Calculus for Parallel Functions. Rapport de Recherche INRIA (1231)

by G Boudol