research
∙
07/28/2021
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
We enhance the calculus of string diagrams for monoidal categories with ...
share
research
∙
11/30/2020
The Difference Lambda-Calculus: A Language for Difference Categories
Cartesian difference categories are a recent generalisation of Cartesian...
research
∙
11/25/2020
Cartesian Difference Categories
Cartesian differential categories are categories equipped with a differe...
research
∙
02/12/2020
Change actions: from incremental computation to discrete derivatives
The goal of this thesis is threefold: first, to provide a general semant...
research
∙
02/04/2020
Cartesian Difference Categories: Extended Report
Cartesian differential categories are categories equipped with a differe...
research
∙
02/14/2019
Change Actions: Models of Generalised Differentiation
Cai et al. have recently proposed change structures as a semantic framew...
research
∙
11/14/2018