Confluence of Pure Differential Nets with Promotion
From MaRDI portal
Publication:3644769
DOI10.1007/978-3-642-04027-6_36zbMath1257.03085MaRDI QIDQ3644769
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
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