M. Abadi & G. D. Plotkin (2019):
A simple differentiable programming language.
Proceedings of the ACM on Programming Languages 4(POPL),
pp. 1–28,
doi:10.1145/3190508.3190551.
M. Alvarez-Picallo & C.-H. L. Ong (2019):
Change actions: models of generalised differentiation.
In: International Conference on Foundations of Software Science and Computation Structures.
Springer,
pp. 45–61,
doi:10.1007/3-540-10286-8.
R. F. Blute, J. R. B. Cockett, J.-S. P. Lemay & R. A. G. Seely (2020):
Differential Categories Revisited.
Applied Categorical Structures 28,
pp. 171–235,
doi:10.1007/s10485-019-09572-y.
R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2006):
Differential categories.
Mathematical structures in computer science 16(06),
pp. 1049–1083,
doi:10.1017/S0960129506005676.
R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2009):
Cartesian differential categories.
Theory and Applications of Categories 22(23),
pp. 622–672.
R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2015):
Cartesian differential storage categories.
Theory and Applications of Categories 30(18),
pp. 620–686.
R. F. Blute, T. Ehrhard & C. Tasson (2012):
A convenient differential category.
Cahiers de Topologie et Géométrie Différentielle Catégoriques LIII,
pp. 211–232.
A. Bucciarelli, T. Ehrhard & G. Manzonetto (2010):
Categorical models for simply typed resource calculi.
Electronic Notes in Theoretical Computer Science 265,
pp. 213–230,
doi:10.1016/j.entcs.2010.08.013.
J. D. Cockett, J. R. B.; Gallagher (2019):
Categorical models of the differential λ-calculus.
Mathematical Structures in Computer Science,
doi:10.1017/S0960129519000070.
J. R. B. Cockett, G. S. H. Cruttwell, J. D. Gallagher, J.-S. P. Lemay, B. MacAdam, G. Plotkin & D. Pronk (2020):
Reverse Derivative Categories.
LIPIcs 152(CSL 2020),
pp. 18:1–18:16,
doi:10.4230/LIPIcs.CSL.2020.18.
J. R. B. Cockett & J.-S. P. Lemay (2022):
Linearizing Combinators.
Theory and Applications of Categories 38(13),
pp. 374–431.
G. Cruttwell, J. Gallagher & D. Pronk (2020):
Categorical semantics of a simple differential programming language.
In: Proceedings of Applied Category Theory 2020.
G. Cruttwell, B. Gavranovi\'c, N. Ghani, P. Wilson & F. Zanasi (2022):
Categorical Foundations of Gradient-Based Learning.
In: Programming Languages and Systems.
Springer International Publishing,
pp. 1–28,
doi:10.1007/978-3-030-99336-8_1.
T. Ehrhard & L. Regnier (2003):
The differential lambda-calculus.
Theoretical Computer Science 309(1),
pp. 1–41,
doi:10.1016/S0304-3975(03)00392-X.
J. Gallagher & B. MacAdam:
Discussions on Cartesian differential categories with linear homs..
Unpublished..
A. Kriegl & P. W. Michor (1997):
The convenient setting of global analysis 53.
American Mathematical Soc.,
doi:10.1090/surv/053/06.
J. Laird, G. Manzonetto & G. McCusker (2013):
Constructing differential categories and deconstructing categories of games.
Information and Computation 222,
pp. 247–264,
doi:10.1016/j.ic.2012.10.015.
J.-S. P. Lemay (2018):
A Tangent Category Alternative to the Faa Di Bruno Construction.
Theory and Applications of Categories 33(35),
pp. 1072–1110.
G. Manzonetto (2012):
What is a categorical model of the differential and the resource λ-calculi?.
Mathematical Structures in Computer Science 22(3),
doi:10.1017/S0960129511000594.
O. Manzyuk (2012):
Tangent bundles in differential lambda-categories.
arXiv preprint arXiv:1202.0411.
D. Sprunger & S. Katsumata (2019):
Differentiable causal computations via delayed trace.
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE,
pp. 1–12,
doi:10.1109/LICS.2019.8785670.
P. Wilson & F. Zanasi (2020):
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits.
In: Proceedings of Applied Category Theory 2020,
doi:10.4204/EPTCS.333.17.