Reverse derivative categories

From MaRDI portal

Publication:6327285

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2020.18arXiv1910.07065MaRDI QIDQ6327285

Benjamin MacAdam, Dorette Pronk, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Geoffrey S. H. Cruttwell, Gordon D. Plotkin, Jonathan Gallagher

Publication date: 15 October 2019

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Reverse derivative categories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6327285&oldid=35924405"