Integral Categories and Calculus Categories
Robin Cockett and Jean−Simon Pacaud Lemay
Address
Dagstuhl‚ Germany
Annote
Keywords: Differential Categories‚ Integral Categories‚ Calculus Categories
Book Title
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Editor
Valentin Goranko and Mads Dam
ISBN
978−3−95977−045−3
ISSN
1868−8969
Pages
20:1–20:17
Publisher
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
82
Year
2017