Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing
From MaRDI portal
Publication:5271068
DOI10.1109/LICS.2013.37zbMath1367.03030OpenAlexW4230977852MaRDI QIDQ5271068
Tom Gundersen, Michel Parigot, Willem Heijltjes
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.37
Related Items (4)
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Node Replication: Theory And Practice ⋮ Spinal atomic \(\lambda\)-calculus ⋮ The spirit of node replication
This page was built for publication: Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing