Constant time parallel computations in \(\lambda\)-calculus
From MaRDI portal
Publication:5958783
DOI10.1016/S0304-3975(00)00380-7zbMath0989.68018MaRDI QIDQ5958783
Publication date: 3 March 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work