Confluence of Pure Differential Nets with Promotion

DOI10.1007/978-3-642-04027-6_36zbMath1257.03085OpenAlexW1517973224MaRDI QIDQ3644769

Paolo Tranquilli

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_36

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Differential interaction nets
• Strong normalization property for second order linear logic
• The structure of multiplicatives
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Confluence of Pure Differential Nets with Promotion
• Proof nets and explicit substitutions
• Finiteness spaces
• Unnamed Item

Related Items (12)

Categorical Models for Simply Typed Resource Calculi ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ The conservation theorem for differential nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exponentials as substitutions and the cost of cut elimination in linear logic ⋮ A deep inference system for differential linear logic ⋮ Confluence of Pure Differential Nets with Promotion ⋮ Unnamed Item ⋮ Strong normalization property for second order linear logic

This page was built for publication: Confluence of Pure Differential Nets with Promotion