Differential interaction nets
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 786495 (Why is no real title available?)
- A linearization of the Lambda-calculus and consequences
- A semantics for lambda calculi with resources
- Decidability properties of recursive types.
- Differential categories
- Finiteness spaces
- Linear logic
- Locus solum: From the rules of logic to the logic of rules.
- On Köthe sequence spaces and linear logic
- The \(\pi\)-calculus: A theory of mobile processes
- The differential \(\lambda \mu\)-calculus
- The differential lambda-calculus
- The structure of multiplicatives
- Uniformity and the Taylor expansion of ordinary lambda-terms
Cited in
(48)- Modeling linear logic with implicit functions
- Execution time of λ-terms via denotational semantics and intersection types
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- On Banach spaces of sequences and free linear logic exponential modality
- scientific article; zbMATH DE number 7566060 (Why is no real title available?)
- Visible acyclic differential nets. I: Semantics
- The Scott model of linear logic is the extensional collapse of its relational model
- A semantic account of strong normalization in linear logic
- The conservation theorem for differential nets
- Confluence of Pure Differential Nets with Promotion
- Differential Linear Logic and Polarization
- The relational model is injective for multiplicative exponential linear logic (without weakenings)
- Differential algebras in codifferential categories
- scientific article; zbMATH DE number 7003195 (Why is no real title available?)
- The shuffle quasimonad and modules with differentiation and integration
- Interpreting a finitary pi-calculus in differential interaction nets
- Categorical models for simply typed resource calculi
- The structure of interaction
- Intuitionistic differential nets and lambda-calculus
- On the Meaning of Logical Completeness
- A linear category of polynomial diagrams
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Light logics and higher-order processes
- Differential categories revisited
- Properties of co-operations: diagrammatic proofs
- Linearity, control effects, and behavioral types
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- A hierarchy of expressiveness in concurrent interaction nets
- Acyclic solos and differential interaction nets
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Interpreting a Finitary Pi-calculus in Differential Interaction Nets
- The Cut-Elimination Theorem for Differential Nets with Promotion
- Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
- A deep inference system for differential linear logic
- The Separation Theorem for Differential Interaction Nets
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Realizability Proof for Normalization of Full Differential Linear Logic
- Transport of finiteness structures and applications
- Order algebras: a quantitative model of interaction
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Weighted models for higher-order computation
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- On the Taylor expansion of probabilistic λ-terms
- Coherent interaction graphs
- The true concurrency of differential interaction nets
This page was built for publication: Differential interaction nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860836)
