J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk. Reverse Derivative Categories. In Maribel Fernández, Anca Muscholl, editors, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Volume 152 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{CockettCGLMPP20,
title = {Reverse Derivative Categories},
author = {J. Robin B. Cockett and Geoff S. H. Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Benjamin MacAdam and Gordon D. Plotkin and Dorette Pronk},
year = {2020},
doi = {10.4230/LIPIcs.CSL.2020.18},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.18},
researchr = {https://researchr.org/publication/CockettCGLMPP20},
cites = {0},
citedby = {0},
booktitle = {28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain},
editor = {Maribel Fernández and Anca Muscholl},
volume = {152},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-132-0},
}