Confluence of Pure Differential Nets with Promotion

DOI10.1007/978-3-642-04027-6_36zbMath1257.03085MaRDI 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

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

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

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