Coherence for sharing proof nets

DOI10.1007/3-540-61464-8_54MaRDI QIDQ5055862zbMATH OpenOpenAlexFDO

Authors Simone Martini, Stefano Guerrini, Andrea Masini

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61464-8_54

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Coherence for sharing proof-nets
• Proof nets and the linear substitution calculus
• Coherent models of proof nets
• Proof nets, garbage, and computations
• scientific article; zbMATH DE number 2134911

Cites work

• scientific article; zbMATH DE number 742718 (Why is no real title available?)
• scientific article; zbMATH DE number 1523048 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• Interaction systems II: The practice of optimal reductions
• Linear logic
• Optimal reductions in interaction systems
• Optimality and inefficiency: what isn't a cost model of the lambda calculus?
• δο!∈=1 Optimizing optimal λ-calculus implementations

Cited in

(10)

• scientific article; zbMATH DE number 1405619 (Why is no real title available?)
• Proof nets, garbage, and computations
• scientific article; zbMATH DE number 7205326 (Why is no real title available?)
• From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
• Cooperation of background reasoners in theory reasoning by residue sharing
• Cooperative Repositories for Formal Proofs
• scientific article; zbMATH DE number 1538029 (Why is no real title available?)
• Proof nets and the linear substitution calculus
• Coherence for sharing proof-nets
• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)

This page was built for publication: Coherence for sharing proof nets

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