Coherent differentiation
From MaRDI portal
Publication:6149933
DOI10.1017/s0960129523000129arXiv2107.05261MaRDI QIDQ6149933
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2107.05261
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Partially additive categories and flow-diagram semantics
- Combining a monad and a comonad
- The differential lambda-calculus
- Differential structure, tangent structure, and SDG
- Cartesian difference categories
- Differential categories revisited
- Derivations in Codifferential Categories
- Non-uniform (hyper/multi)coherence spaces
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Finiteness spaces
- Logical Approaches to Computational Barriers
- On phase semantics and denotational semantics: The exponentials
This page was built for publication: Coherent differentiation
