Optimal reductions in interaction systems

DOI10.1007/3-540-56610-4_84MaRDI QIDQ5044756zbMATH OpenOpenAlexFDO

Authors Andrea Asperti, Cosimo Laneve

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_84

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Interaction systems II: The practice of optimal reductions
• Token-passing optimal reduction with embedded read-back
• Interaction Systems I: The theory of optimal reductions
• Sharing implementations of graph rewriting systems
• YALE: yet another lambda evaluator based on interaction nets

Cites work

• scientific article; zbMATH DE number 431767 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 517043 (Why is no real title available?)
• Linear logic
• On a result of J.J. Sylvester

Cited in

(13)

• Interaction systems II: The practice of optimal reductions
• Theoretical and computational results about optimality-based domain reductions
• π-RED⁺ An interactive compiling graph reduction system for an applied λ-calculus
• Reducibility Relationships Between Decision Problems for System Functions
• Interaction Systems I: The theory of optimal reductions
• scientific article; zbMATH DE number 1086661 (Why is no real title available?)
• scientific article; zbMATH DE number 1479624 (Why is no real title available?)
• Paths, computations and labels in the λ-calculus
• δο!∈=1 Optimizing optimal λ-calculus implementations
• Coherence for sharing proof nets
• On global dynamics of optimal graph reduction
• Paths, computations and labels in the \(\lambda\)-calculus
• Optimal systems of fundamental \(S\)-units for LLL-reduction

This page was built for publication: Optimal reductions in interaction systems

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