The Lazy Lambda Calculus in a Concurrency Scenario

• 1 May 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 111  (1) , 120-153
• https://doi.org/10.1006/inco.1994.1042

Abstract