Lambda-Calculi for (Strict) Parallel Functions

• 1 January 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 108  (1) , 51-127
• https://doi.org/10.1006/inco.1994.1003

Abstract