research
∙
03/23/2022
Monoidal Reverse Differential Categories
Cartesian reverse differential categories (CRDCs) are a recently defined...
share
research
∙
01/26/2021
Categorical semantics of a simple differential programming language
With the increased interest in machine learning, and deep learning in pa...
research
∙
10/15/2019
