Encoding linear logic with interaction combinators
From MaRDI portal
Publication:1854547
DOI10.1006/inco.2002.3163zbMath1012.03021MaRDI QIDQ1854547
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.2002.3163
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work