The following pages link to Differential interaction nets (Q860836):
Displayed 42 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- 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)
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Differential algebras in codifferential categories (Q2001387) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Differential categories revisited (Q2307523) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← 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)
- Transport of finiteness structures and applications (Q4577981) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- (Q4611381) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- Properties of co-operations: diagrammatic proofs (Q4649462) (← links)
- (Q5018489) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- (Q5094132) (← links)
- (Q5111309) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)
- A linear category of polynomial diagrams (Q5740350) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)