There Is Only One Notion of Differentiation
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
Address
Dagstuhl‚ Germany
Annote
Keywords: Differential Categories‚ Linear Logic‚ Coalgebra Modalities‚ Bialgebra Modalities
Book Title
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
Editor
Dale Miller
ISBN
978−3−95977−047−7
ISSN
1868−8969
Pages
13:1–13:21
Publisher
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
84
Year
2017