The graphical Krivine machine

DOI10.1007/S10990-007-9011-3zbMath1128.68019OpenAlexW2137187211MaRDI QIDQ2464713

Sylvain Lippi

Publication date: 17 December 2007

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-007-9011-3

zbMATH Keywords

Linear logicDistributed computationRewritingInteraction netsSharing-graphs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Interaction combinators
• Reversible, irreversible and optimal \(\lambda\)-machines
• Encoding linear logic with interaction combinators
• Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
• Encoding left reduction in the λ-calculus with interaction nets
• YALE

This page was built for publication: The graphical Krivine machine