Encoding linear logic with interaction combinators

DOI10.1006/INCO.2002.3163zbMath1012.03021OpenAlexW2074116409MaRDI QIDQ1854547

Ian Mackie, Jorge Sousa Pinto

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The graphical Krivine machine

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• LCF considered as a programming language
• Interaction combinators
• Interaction nets for linear logic
• The bologna optimal higher-order machine
• YALE

This page was built for publication: Encoding linear logic with interaction combinators