An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine
From MaRDI portal
Publication:2841304
DOI10.1016/S1571-0661(04)80356-6zbMath1268.68054OpenAlexW2040290487MaRDI QIDQ2841304
Shinichi Yamada, Toru Sugimoto, Shinya Sato
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80356-6
Cites Work
This page was built for publication: An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine