References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. J. D. Cockett, J. R. B.; Gallagher (2019): Categorical models of the differential λ-calculus. Mathematical Structures in Computer Science, doi:10.1017/S0960129519000070.
  10. 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.
  11. J. R. B. Cockett & J.-S. P. Lemay (2022): Linearizing Combinators. Theory and Applications of Categories 38(13), pp. 374–431.
  12. G. Cruttwell, J. Gallagher & D. Pronk (2020): Categorical semantics of a simple differential programming language. In: Proceedings of Applied Category Theory 2020.
  13. 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.
  14. 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.
  15. J. Gallagher & B. MacAdam: Discussions on Cartesian differential categories with linear homs.. Unpublished..
  16. A. Kriegl & P. W. Michor (1997): The convenient setting of global analysis 53. American Mathematical Soc., doi:10.1090/surv/053/06.
  17. 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.
  18. 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.
  19. 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.
  20. O. Manzyuk (2012): Tangent bundles in differential lambda-categories. arXiv preprint arXiv:1202.0411.
  21. 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.
  22. M. Vákár (2021): CHAD: Combinatory Homomorphic Automatic Differentiation. arXiv preprint arXiv:2103.15776.
  23. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org