Proof nets and the linear substitution calculus
From MaRDI portal
(Redirected from Publication:1623116)
Recommendations
Cited in
(29)- Head linear reduction and pure proof net extraction
- Coherence for sharing proof-nets
- The spirit of node replication
- Proof nets as formal Feynman diagrams
- Linear lambda calculus and deep inference
- Quantitative types for the linear substitution calculus
- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing
- Jumping Boxes
- scientific article; zbMATH DE number 2134911 (Why is no real title available?)
- scientific article; zbMATH DE number 7359406 (Why is no real title available?)
- scientific article; zbMATH DE number 7456059 (Why is no real title available?)
- Coherence for sharing proof nets
- A Fresh Look at the λ-Calculus
- Tight typings and split bounds, fully developed
- A nonstandard standardization theorem
- scientific article; zbMATH DE number 6296859 (Why is no real title available?)
- scientific article; zbMATH DE number 7324256 (Why is no real title available?)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Node Replication: Theory And Practice
- A strong bisimulation for a classical term calculus
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Mirroring call-by-need, or values acting silly
- Sharing and linear logic with restricted access
- A fully abstract model of PCF based on extended addressing machines
- is for Dialectica
- Resource operators for \(\lambda\)-calculus
- Proof nets and the call-by-value \(\lambda\)-calculus
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)
