Proof nets and the linear substitution calculus
From MaRDI portal
Publication:1623116
Recommendations
Cited in
(25)- The spirit of node replication
- A Fresh Look at the λ-Calculus
- scientific article; zbMATH DE number 7456059 (Why is no real title available?)
- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
- Coherence for sharing proof nets
- Quantitative types for the linear substitution calculus
- Head linear reduction and pure proof net extraction
- Coherence for sharing proof-nets
- Tight typings and split bounds, fully developed
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Resource operators for \(\lambda\)-calculus
- Jumping Boxes
- Proof nets and the call-by-value \(\lambda\)-calculus
- scientific article; zbMATH DE number 2134911 (Why is no real title available?)
- A strong bisimulation for a classical term calculus
- Linear lambda calculus and deep inference
- A nonstandard standardization theorem
- Proof nets as formal Feynman diagrams
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- scientific article; zbMATH DE number 6296859 (Why is no real title available?)
- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing
- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
- scientific article; zbMATH DE number 7324256 (Why is no real title available?)
- scientific article; zbMATH DE number 7359406 (Why is no real title available?)
- Node Replication: Theory And Practice
This page was built for publication: Proof nets and the linear substitution calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1623116)
