@Inproceedings{EPTCS333.20, author = {Cruttwell, Geoffrey and Gallagher, Jonathan and Pronk, Dorette}, year = {2021}, title = {Categorical semantics of a simple differential programming language}, editor = {Spivak, David I. and Vicary, Jamie}, booktitle = {{\rm Proceedings of the 3rd Annual International} Applied Category Theory Conference 2020, {\rm Cambridge, USA, 6-10th July 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, publisher = {Open Publishing Association}, pages = {289-310}, doi = {10.4204/EPTCS.333.20}, }