Optimal reductions in interaction systems

DOI10.1007/3-540-56610-4_84zbMath1497.68236OpenAlexW1482768544MaRDI QIDQ5044756

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)

Related Items

Paths, computations and labels in the λ-calculus, δο!∈=1 Optimizing optimal λ-calculus implementations, Coherence for sharing proof nets, Interaction systems II: The practice of optimal reductions, Paths, computations and labels in the \(\lambda\)-calculus

Cites Work

• On a result of J.J. Sylvester
• Linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item