The lazy lambda calculus in a concurrency scenario

From MaRDI portal
Publication:1327395

DOI10.1006/inco.1994.1042zbMath0804.03008OpenAlexW2165407648MaRDI QIDQ1327395

Davide Sangiorgi

Publication date: 22 January 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/10040673685c7f73ec7dc608d37a7c87c3056212



Related Items