Reverse Derivative Categories

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]

Authors

J. Robin B. Cockett

This author has not been identified. Look up 'J. Robin B. Cockett' in Google

Geoff S. H. Cruttwell

This author has not been identified. Look up 'Geoff S. H. Cruttwell' in Google

Jonathan Gallagher

This author has not been identified. Look up 'Jonathan Gallagher' in Google

Jean-Simon Pacaud Lemay

This author has not been identified. Look up 'Jean-Simon Pacaud Lemay' in Google

Benjamin MacAdam

This author has not been identified. Look up 'Benjamin MacAdam' in Google

Gordon D. Plotkin

This author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in Google

Dorette Pronk

This author has not been identified. Look up 'Dorette Pronk' in Google