Focused linear logic and the \(\lambda\)-calculus
From MaRDI portal
Publication:5971394
DOI10.1016/j.entcs.2015.12.008zbMath1352.03073WikidataQ113317733 ScholiaQ113317733MaRDI QIDQ5971394
Taus Brock-Nannestad, Nicolas Guenot
Publication date: 16 December 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.008
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus