Cofree coalgebras and differential linear logic
From MaRDI portal
Publication:5139287
DOI10.1017/S0960129520000134zbMath1495.03075arXiv1701.01285OpenAlexW3035662493MaRDI QIDQ5139287
Publication date: 8 December 2020
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.01285
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40) Categorical aspects of linear logic (18M45)
Related Items
Cartesian differential categories as skew enriched categories ⋮ Exponential functions in Cartesian differential categories ⋮ Jets and differential linear logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing Khovanov-Rozansky homology and defect fusion
- On Sweedler's cofree cocommutative coalgebra.
- Linear logic
- Differential interaction nets
- Light linear logic
- Glueing and orthogonality for models of linear logic
- Coherent Banach spaces: A continuous denotational semantics
- The differential lambda-calculus
- Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
- Commutative monads as a theory of distributions
- Categorical Models for Simply Typed Resource Calculi
- Differential categories
- Interpreting a Finitary Pi-calculus in Differential Interaction Nets
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Finite Differencing of Computable Expressions
- The Geometry of Schemes
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Integral categories and calculus categories
- On Köthe sequence spaces and linear logic
- Functional automatic differentiation with dirac impulses
- Cartesian Differential Storage Categories
