Encoding left reduction in the λ-calculus with interaction nets

DOI10.1017/S0960129502003754MaRDI QIDQ4405695zbMATH OpenOpenAlexFDO

Authors Sylvain Lippi

Publication date 23 June 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129502003754

zbMATH Keywords

\(\lambda\)-calculusdecodingencodinginteraction net

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Encoding Strategies in the Lambda Calculus with Interaction Nets
• scientific article; zbMATH DE number 860035
• YALE: yet another lambda evaluator based on interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• Rewriting Techniques and Applications

Cited in

(18)

• The graphical Krivine machine
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• Weak reduction and garbage collection in interaction nets
• Encoding an object calculus into interaction nets
• A calculus for interaction nets based on the linear chemical abstract machine
• Universal Boolean systems
• Hard combinators
• Token-passing nets for functional languages
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• Encoding Strategies in the Lambda Calculus with Interaction Nets
• scientific article; zbMATH DE number 4047140 (Why is no real title available?)
• scientific article; zbMATH DE number 50753 (Why is no real title available?)
• scientific article; zbMATH DE number 1953288 (Why is no real title available?)
• scientific article; zbMATH DE number 860035 (Why is no real title available?)
• YALE: yet another lambda evaluator based on interaction nets
• YALE: yet another lambda evaluator based on interaction nets
• Rewriting Techniques and Applications
• An Explicit Framework for Interaction Nets

This page was built for publication: Encoding left reduction in the λ-calculus with interaction nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4405695)