The following pages link to Differential interaction nets (Q860836):
Displayed 16 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- The Cut-Elimination Theorem for Differential Nets with Promotion (Q3637197) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- Properties of co-operations: diagrammatic proofs (Q4649462) (← links)