scientific article; zbMATH DE number 7407795
From MaRDI portal
Publication:5155686
Jean-Simon Pacaud Lemay, Mario Alvarez-Picallo
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2011.12600
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cartesian differential categoriescalculus of finite differencesstream calculusCartesian difference categorieschange actions
Cites Work
- Skew-enriched categories
- Boolean calculus of differences
- The differential lambda-calculus
- Differential structure, tangent structure, and SDG
- Cartesian difference categories
- Change actions: models of generalised differentiation
- Closed categories vs. closed multicategories
- What is a categorical model of the differential and the resource λ-calculi?
- Cartesian differential categories revisited
- Categorical Models for Simply Typed Resource Calculi
- Differential categories
- A Tangent Category Alternative to the Fa\`a di Bruno Construction
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- A coinductive calculus of streams
- Connections in Tangent Categories
- Logic Functions and Equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
