bib.bib

@article{karvonen20,
  author = {Karvonen, Martti},
  title = {Biproducts without pointedness},
  journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
  volume = {LXI},
  issue = {3},
  pages = {229--238},
  year = {2020}
}

@phdthesis{lawvere63,
  author = {F. William Lawvere},
  title = {Functorial Semantics of Algebraic Theories},
  school = {Columbia University},
  year = {1963},
  note = {Reprints in Theory and Applications of Categories, No. 5 (2004) pp.1-121}
}

@phdthesis{berry79,
  author = {G\'erard Berry},
  title = {Mod\`eles compl\`etement ad\'equat et stables des lambda-calculs typ\'e},
  school = {Universit\'e Paris VII},
  year = {1979}
}

@inproceedings{crubille18,
  author = {Rapha\"elle Crubill\'e},
  title = {Probabilistic Stable Functions on Discrete Cones are Power Series},
  booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2018},
  pages = {275--284},
  doi = {10.1145/3209108.3209198}
}

@article{abbott05,
  author = {Michael Abbott and Thorsten Altenkirch and Neil Ghani and Conor McBride},
  title = {$\partial$ for Data: Differentiating Data Structures},
  journal = {Fundamenta Informaticae},
  volume = {65},
  number = {1-2},
  pages = {1--28},
  year = {2005}
}

@article{gambino-kock,
  author = {Nicola Gambino and Joachim Kock},
  title = {Polynomial functors and polynomial monads},
  journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
  volume = {154},
  number = {1},
  pages = {153--192},
  year = {2013}
}

@article{berry82,
  author = {Berry, Gérard and Curien, Pierre-Louis},
  year = {1982},
  month = {07},
  pages = {265-321},
  title = {Sequential algorithms on concrete data structures},
  volume = {20},
  journal = {Theoretical Computer Science},
  doi = {10.1016/S0304-3975(82)80002-9}
}

@article{vakar22,
  author = {V\'{a}k\'{a}r, Matthijs and Smeding, Tom},
  title = {CHAD: Combinatory Homomorphic Automatic Differentiation},
  year = {2022},
  issue_date = {September 2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {44},
  number = {3},
  issn = {0164-0925},
  doi = {10.1145/3527634},
  journal = {ACM Trans. Program. Lang. Syst.},
  month = aug,
}

@article{nunes2023,
  title = {{CHAD} for expressive total languages},
  volume = {33},
  DOI = {10.1017/S096012952300018X},
  number = {4–5},
  journal = {Mathematical Structures in Computer Science},
  author = {Lucatelli Nunes, Fernando and Vákár, Matthijs},
  year = {2023},
  pages = {311–426}
}

@inproceedings{perera12a,
  author = {Perera, Roly and Acar, Umut A. and Cheney, James and Levy, Paul Blain},
  title = {Functional Programs That Explain Their Work},
  booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
  series = {ICFP '12},
  year = {2012},
  isbn = {978-1-4503-1054-3},
  location = {Copenhagen, Denmark},
  pages = {365--376},
  numpages = {12},
  doi = {10.1145/2364527.2364579},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{perera16d,
  author = {Roly Perera and Deepak Garg and James Cheney},
  title = {Causally Consistent Dynamic Slicing},
  booktitle = {Concurrency Theory, 27th International Conference, CONCUR '16},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year = {2016},
  editor = {Jos\'ee Desharnais and Radha Jagadeesan},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/LIPIcs.CONCUR.2016.18}
}

@article{perera22,
 author = {Perera, Roly and Nguyen, Minh and Petricek, Tomas and Wang, Meng},
 title = {Linked Visualisations via Galois Dependencies},
 year = {2022},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {6},
 number = {POPL},
 doi = {10.1145/3498668},
 journal = {Proc. ACM Program. Lang.},
 articleno = {7},
 numpages = {29},
}

@article{ricciotti17,
  author = {Ricciotti, Wilmer and Stolarek, Jan and Perera, Roly and Cheney, James},
  title = {Imperative Functional Programs That Explain Their Work},
  journal = {Proceedings of the ACM on Programming Languages},
  issue_date = {September 2017},
  volume = {1},
  number = {ICFP},
  year = {2017},
  issn = {2475-1421},
  pages = {14:1--14:28},
  articleno = {14},
  numpages = {28},
  doi = {10.1145/3110258},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{girard,
  author = {Girard, Jean-Yves},
  title = {Linear logic: its syntax and semantics},
  year = {1995},
  isbn = {0521559618},
  publisher = {Cambridge University Press},
  address = {USA},
  booktitle = {Proceedings of the Workshop on Advances in Linear Logic},
  pages = {1–42},
  numpages = {42}
}

@book{amadio-curien,
  address = {Cambridge},
  series = {Cambridge Tracts in Theoretical Computer Science},
  title = {Domains and Lambda-Calculi},
  publisher = {Cambridge University Press},
  author = {Amadio, Roberto M. and Curien, Pierre-Louis},
  year = {1998}
}

@article{lcf77,
  title = {{LCF} Considered as a Programming Language},
  journal = {Theoretical Computer Science},
  volume = {5},
  number = {3},
  pages = {223-255},
  year = {1977},
  issn = {0304-3975},
  doi = {10.1016/0304-3975(77)90044-5},
  author = {G.D. Plotkin}
}

@inproceedings{weiser81,
  author = {Weiser, Mark D.},
  booktitle = {ICSE},
  editor = {Jeffrey, Seymour and Stucki, Leon G.},
  isbn = {0-89791-146-6},
  pages = {439-449},
  publisher = {IEEE Computer Society},
  title = {Program Slicing},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse81.html#Weiser81},
  year = {1981}
}

@article{siskind08,
  author = {Siskind, Jeffrey and Pearlmutter, Barak},
  year = {2008},
  month = {12},
  pages = {361-376},
  title = {Nesting forward-mode AD in a functional framework},
  volume = {21},
  journal = {Higher-Order and Symbolic Computation},
  doi = {10.1007/s10990-008-9037-1}
}

@article{elliott17,
  author = {Elliott, Conal},
  title = {Compiling to categories},
  year = {2017},
  issue_date = {September 2017},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {1},
  number = {ICFP},
  doi = {10.1145/3110271},
  month = aug,
  articleno = {27},
  numpages = {27},
}

@article{elliott18,
  author = {Elliott, Conal},
  title = {The simple essence of automatic differentiation},
  year = {2018},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {2},
  number = {ICFP},
  doi = {10.1145/3236765},
  journal = {Proc. ACM Program. Lang.},
  month = jul,
}

@book{spivak65,
  title = {Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus},
  author = {Spivak, M.},
  isbn = {9780805390216},
  year = {1965},
  publisher = {Avalon Publishing}
}

@article{linnainmaa76,
  author = {Linnainmaa, Seppo},
  title = {Taylor expansion of the accumulated rounding error},
  year = {1976},
  publisher = {BIT Computer Science and Numerical Mathematics},
  address = {USA},
  volume = {16},
  number = {2},
  issn = {0006-3835},
  doi = {10.1007/BF01931367},
  journal = {BIT},
  month = jun,
  pages = {146–160},
}

@misc{spivak19,
  author = {David I. Spivak},
  title = {Generalized Lens Categories via Functors Cop $\to$ Cat},
  year = {2019},
  note = {arXiv:1908.02202}
}

@article{cockett14,
  author = {Cockett, Robin and Cruttwell, Geoffrey},
  year = {2014},
  month = {04},
  pages = {},
  title = {Differential Structure, Tangent Structure, and SDG},
  volume = {22},
  journal = {Applied Categorical Structures},
  doi = {10.1007/s10485-013-9312-0}
}

@article{cockett18,
  title = {Differential bundles and fibrations for tangent categories},
  author = {Cockett, Robin and Cruttwell, Geoffrey},
  journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
  volume = {60},
  pages = {10--92},
  year = {2018}
}

@article{santocanale02,
  author = {Santocanale, Luigi},
  journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
  number = {2},
  pages = {195-227},
  publisher = {EDP-Sciences},
  title = {$\mu$-bicomplete categories and parity games},
  volume = {36},
  year = {2002}
}

@book{crole94,
  title = {Categories for Types},
  publisher = {Cambridge University Press},
  author = {Crole, Roy L.},
  year = {1994},
  address = {Cambridge},
}

@incollection{pitts01,
  author = {Andrew M. Pitts},
  title =	{Categorical Logic},
  booktitle = {Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures},
  publisher =	{Oxford University Press},
  year = {2001},
  pages = {39--128},
  chapter = {2},
  editor = {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  isbn = {0-19-853781-6},
}

@article{plotkin77lcf,
  title = {{LCF} Considered as a Programming Language},
  author = {Gordon D. Plotkin},
  journal = {Theoretical Computer Science},
  year = {1977},
  volume = {5},
  pages = {223-255}
}

@misc{haskell,
  title = {Haskell 2010 language report},
  author = {Marlow, Simon and others},
  note = {\url{http://haskell.org/onlinereport/haskell2010/}},
  year = {2010}
}

@article{selvaraju20,
  author = {Selvaraju, Ramprasaath R. and Cogswell, Michael and Das, Abhishek and Vedantam, Ramakrishna and Parikh, Devi and Batra, Dhruv},
  title = {Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization},
  year = {2020},
  publisher = {Kluwer Academic Publishers},
  address = {USA},
  volume = {128},
  number = {2},
  issn = {0920-5691},
  doi = {10.1007/s11263-019-01228-7},
  journal = {International Journal of Computer Vision},
  month = {feb},
  pages = {336–359},
  numpages = {24}
}

@inproceedings{buneman95,
  author = {Buneman, Peter and Davidson, Susan B. and Suciu, Dan},
  title = {Programming Constructs for Unstructured Data},
  year = {1995},
  isbn = {3540760865},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  booktitle = {Proceedings of the Fifth International Workshop on Database Programming Languages},
  pages = {12},
  series = {DBLP-5}
}

@inproceedings{kontogiannis08,
  author = {Kontogiannis, Kostas},
  booktitle = {2008 Frontiers of Software Maintenance},
  title = {Challenges and opportunities related to the design, deployment and, operation of Web Services},
  year = {2008},
  volume = {},
  number = {},
  pages = {11-20},
  doi = {10.1109/FOSM.2008.4659244}
}

@inproceedings{cheney07,
  author = {James Cheney and Amal Ahmed and Umut A. Acar},
  title = {Provenance as Dependency Analysis},
  booktitle = {DBPL},
  year = {2007},
  pages = {138-152},
  doi = {10.1007/978-3-540-75987-4_10},
}

@book{taylor99,
  author = {Taylor, Paul},
  title = {Practical Foundations of Mathematics},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge, UK}
}

@software{jax2018github,
  author = {James Bradbury and Roy Frostig and Peter Hawkins and Matthew James Johnson and Chris Leary and Dougal Maclaurin and George Necula and Adam Paszke and Jake Vander{P}las and Skye Wanderman-{M}ilne and Qiao Zhang},
  title = {{JAX}: composable transformations of {P}ython+{N}um{P}y programs},
  url = {http://github.com/jax-ml/jax},
  version = {0.3.13},
  year = {2018},
}

@phdthesis{perera13,
  author = {Roly Perera},
  title = {Interactive Functional Programming},
  school = {University of Birmingham},
  address = {Birmingham, UK},
  year = {2013},
  month = {July},
  note = {\url{http://etheses.bham.ac.uk/4209/}}
}

@inproceedings{bond25,
  author = {Bond, Joe and David, Cristina and Nguyen, Minh and Orchard, Dominic and Perera, Roly},
  editor = {Vafeiadis, Viktor},
  title = {Cognacy Queries over Dependence Graphs for Transparent Visualisations},
  booktitle = {Programming Languages and Systems},
  year = {2025},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {144--171},
  isbn = {978-3-031-91118-7}
}

@software{perera2025fluid,
  author = {Perera, Roly and Bond, Joseph and David, Cristina and Nguyen, Minh and Orchard, Dominic},
  doi = {10.5281/zenodo.14637654},
  month = jan,
  title = {Fluid programming language},
  url = {https://github.com/explorable-viz/fluid},
  version = {0.7.30},
  year = {2025}
}

@article{jonsson51,
  ISSN = {00029327, 10806377},
  author = {Bjarni Jonsson and Alfred Tarski},
  journal = {American Journal of Mathematics},
  number = {4},
  pages = {891--939},
  publisher = {Johns Hopkins University Press},
  title = {Boolean Algebras with Operators. Part I},
  volume = {73},
  year = {1951}
}

@inbook{rumelhart88,
  author = {Rumelhart, David E. and Hinton, Geoffrey E. and Williams, Ronald J.},
  title = {Learning representations by back-propagating errors},
  year = {1988},
  isbn = {0262010976},
  publisher = {MIT Press},
  address = {Cambridge, MA, USA},
  booktitle = {Neurocomputing: Foundations of Research},
  pages = {696–699},
  numpages = {4}
}

@book{goodfellow16,
  author = {Goodfellow, Ian and Bengio, Yoshua and Courville, Aaron},
  title = {Deep Learning},
  year = {2016},
  isbn = {0262035618},
  publisher = {The MIT Press},
}

@inproceedings{abadi16,
  author = {Abadi, Mart\'{\i}n and Barham, Paul and Chen, Jianmin and Chen, Zhifeng and Davis, Andy and Dean, Jeffrey and Devin, Matthieu and Ghemawat, Sanjay and Irving, Geoffrey and Isard, Michael and Kudlur, Manjunath and Levenberg, Josh and Monga, Rajat and Moore, Sherry and Murray, Derek G. and Steiner, Benoit and Tucker, Paul and Vasudevan, Vijay and Warden, Pete and Wicke, Martin and Yu, Yuan and Zheng, Xiaoqiang},
  title = {TensorFlow: a system for large-scale machine learning},
  year = {2016},
  isbn = {9781931971331},
  publisher = {USENIX Association},
  address = {USA},
  booktitle = {Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation},
  pages = {265–283},
  numpages = {19},
  location = {Savannah, GA, USA},
  series = {OSDI'16}
}

@phdthesis{sigal24,
  author = {Jesse Sigal},
  title = {Automatic differentiation via effects and handlers},
  school = {University of Edinburgh},
  year = {2024},
  doi = {10.7488/era/4642}
}

@incollection{griewank89,
  author = {Andreas Griewank},
  year = {1989},
  title = {On Automatic Differentiation},
  booktitle = {Mathematical Programming: Recent Developments and Applications},
  publisher = {Springer},
  editor = {Masao Iri and Kunio Tanabe}
}

@article{rosický84,
  author = {Rosický, J.},
  journal = {Diagrammes},
  pages = {JR1-JR11},
  publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
  title = {Abstract tangent functors},
  volume = {12},
  year = {1984}
}

@inbook{abramsky-jung,
  author = {Abramsky, Samson and Jung, Achim},
  title = {Domain theory},
  year = {1995},
  isbn = {019853762X},
  publisher = {Oxford University Press, Inc.},
  address = {USA},
  booktitle = {Handbook of Logic in Computer Science (Vol. 3): Semantic Structures},
  pages = {1–168},
  numpages = {168}
}

@techreport{scott-outline,
  title = {Outline of a Mathematical Theory of Computation },
  author = {Dana Scott},
  year = {1970},
  institution = {OUCL},
  month = {November},
  number = {PRG02},
  pages = {30},
}

@article{edalat-heckmann98,
  author = {Edalat, Abbas and Hackmann, Reinhold},
  title = {A computational model for metric spaces},
  year = {1998},
  publisher = {Elsevier Science Publishers Ltd.},
  address = {UK},
  volume = {193},
  number = {1–2},
  issn = {0304-3975},
  doi = {10.1016/S0304-3975(96)00243-5},
  journal = {Theoretical Computer Science},
  month = {feb},
  pages = {53–73},
  numpages = {21}
}

@book{continuous-lattice-book,
  author = {Gierz, Gerhard and Hofmann, Karl and Keimel, Klaus and Lawson, Jimmie and Mislove, Michael and Scott, Dana},
  year = {2003},
  month = {03},
  pages = {},
  title = {Continuous Lattices and Domains},
  isbn = {9780521803380},
  doi = {10.1017/CBO9780511542725}
}

@inproceedings{cruttwell2022,
  author = {Cruttwell, Geoffrey S. H. and Gavranovi{\'{c}}, Bruno and Ghani, Neil and Wilson, Paul and Zanasi, Fabio},
  editor = {Sergey, Ilya},
  title = {Categorical Foundations of Gradient-Based Learning},
  booktitle= {Programming Languages and Systems},
  year = {2022},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {1--28},
  isbn = {978-3-030-99336-8}
}

@article{carboni-lack-walters93,
  title = {Introduction to extensive and distributive categories},
  author = {Aurelio Carboni and Stephen Lack and Walters, {R. F C}},
  year = {1993},
  month = {feb},
  day = {3},
  doi = {10.1016/0022-4049(93)90035-R},
  language = {English},
  volume = {84},
  pages = {145--158},
  journal = {Journal of Pure and Applied Algebra},
  issn = {0022-4049},
  publisher = {Elsevier},
  number = {2},
}

@phdthesis{agda,
  title = {Towards a Practical Programming Language Based on Dependent Type Theory},
  author = {Norell, Ulf},
  year = {2007},
  month = {sep},
  address = {{SE-412 96 G\"oteborg, Sweden}},
  school = {Department of Computer Science and Engineering, Chalmers University of Technology},
}

@article{hermida99,
  title = {Some properties of Fib as a fibred 2-category},
  journal = {Journal of Pure and Applied Algebra},
  volume = {134},
  number = {1},
  pages = {83-109},
  year = {1999},
  issn = {0022-4049},
  doi = {https://doi.org/10.1016/S0022-4049(97)00129-1},
  author = {Claudio Hermida},
}

@inproceedings{escardo-knapp,
  author = {Escard\'{o}, Mart{\'\i}n H. and Knapp, Cory M.},
  title =	{Partial Elements and Recursion via Dominances in Univalent Type Theory},
  booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
  pages =	{21:1--21:16},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN = {978-3-95977-045-3},
  ISSN = {1868-8969},
  year = {2017},
  volume = {82},
  editor = {Goranko, Valentin and Dam, Mads},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/LIPIcs.CSL.2017.21},
}

@article{escardo-real-pcf,
  title = {PCF extended with real numbers},
  journal = {Theoretical Computer Science},
  volume = {162},
  number = {1},
  pages = {79-115},
  year = {1996},
  issn = {0304-3975},
  doi = {https://doi.org/10.1016/0304-3975(95)00250-2},
  author = {Martin Hötzel Escardó}
}

@article{cdcs,
  author = {Blute, R. and Cockett, Robin and Seely, R.},
  year = {2009},
  month = {01},
  pages = {622-672},
  title = {Cartesian differential categories},
  volume = {22},
  journal = {Theory and Applications of Categories}
}

@inproceedings{reverse-tangents,
  author = {Cruttwell, Geoffrey and Lemay, Jean-Simon Pacaud},
  title =	{Reverse Tangent Categories},
  booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)},
  pages =	{21:1--21:21},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN = {978-3-95977-310-2},
  ISSN = {1868-8969},
  year = {2024},
  volume = {288},
  editor = {Murano, Aniello and Silva, Alexandra},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/LIPIcs.CSL.2024.21},
}

@inproceedings{dejong21,
  author = {de Jong, Tom and Escard\'{o}, Mart{\'\i}n H\"{o}tzel},
  title = {Domain Theory in Constructive and Predicative Univalent Foundations},
  booktitle = {29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
  pages = {28:1--28:18},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN = {978-3-95977-175-7},
  ISSN = {1868-8969},
  year = {2021},
  volume = {183},
  editor = {Baier, Christel and Goubault-Larrecq, Jean},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/LIPIcs.CSL.2021.28},
}

@article{laird07,
  title = {Bistable Biorders: A Sequential Domain Theory},
  author = {James Laird},
  doi = {10.2168/LMCS-3(2:5)2007},
  journal = {Logical Methods in Computer Science},
  issn = {1860-5974},
  volume = {Volume 3, Issue 2},
  eid = 5,
  year = {2007},
  month = {May}
}

@article{palmgren-wilander,
  author = {Palmgren, Erik and Wilander, Olov},
  year = {2014},
  month = {08},
  pages = {},
  title = {Constructing categories and setoids of setoids in type theory},
  volume = {10},
  journal = {Logical Methods in Computer Science [electronic only]},
  doi = {10.2168/LMCS-10(3:25)2014}
}

@inproceedings{fiore-simpson99,
  author = {Fiore, Marcelo and Simpson, Alex},
  editor = {Girard, Jean-Yves},
  title = {Lambda Definability with Sums via Grothendieck Logical Relations},
  booktitle = {Typed Lambda Calculi and Applications},
  year = {1999},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {147--161},
  isbn = {978-3-540-48959-7}
}

@article{notions-of-computation,
  title = {Notions of computation and monads},
  journal = {Information and Computation},
  volume = {93},
  number = {1},
  pages = {55-92},
  year = {1991},
  note = {Selections from 1989 IEEE Symposium on Logic in Computer Science},
  issn = {0890-5401},
  doi = {https://doi.org/10.1016/0890-5401(91)90052-4},
  author = {Eugenio Moggi},
}

@inproceedings{ahman-chapman-uustalu2012,
  author       = {Danel Ahman and
                  James Chapman and
                  Tarmo Uustalu},
  editor       = {Lars Birkedal},
  title        = {When Is a Container a Comonad?},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_5},
  doi          = {10.1007/978-3-642-28729-9\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AhmanCU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}


@inproceedings{kerjean-pedrot2024,
	address = {Tallinn Estonia},
	title = {$\partial$ is for {Dialectica}},
	isbn = {979-8-4007-0660-8},
	url = {https://dl.acm.org/doi/10.1145/3661814.3662106},
	doi = {10.1145/3661814.3662106},
	language = {en},
	urldate = {2025-02-21},
	booktitle = {Proceedings of the 39th {Annual} {ACM}/{IEEE} {Symposium} on {Logic} in {Computer} {Science}},
	publisher = {ACM},
	author = {Kerjean, Marie Morgane and Pédrot, Pierre-Marie},
	month = jul,
	year = {2024},
	pages = {1--13},
	file = {Full Text PDF:/home/jjb15109/Zotero/storage/79VQYH68/Kerjean and Pédrot - 2024 - δ is for Dialectica.pdf:application/pdf},
}


@article{ehrhard_differential_2006,
	series = {Logic, {Language}, {Information} and {Computation}},
	title = {Differential interaction nets},
	volume = {364},
	issn = {0304-3975},
	url = {https://www.sciencedirect.com/science/article/pii/S0304397506005299},
	doi = {10.1016/j.tcs.2006.08.003},
	abstract = {We introduce interaction nets for a fragment of the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, which is completely similar to the symmetry between the tensor and par connectives of linear logic. We use algebraic intuitions for introducing these nets and their reduction rules, and then we develop two correctness criteria (weak typability and acyclicity) and show that they guarantee strong normalization. Finally, we outline the correspondence between this interaction nets formalism and the resource lambda-calculus.},
	number = {2},
	urldate = {2025-07-10},
	journal = {Theoretical Computer Science},
	author = {Ehrhard, T. and Regnier, L.},
	month = nov,
	year = {2006},
	keywords = {Differential lambda-calculus, Interaction nets, Lambda-calculus, Lambda-calculus with multiplicities, Linear logic, Resource lambda-calculus},
	pages = {166--195},
	file = {PDF:/home/jjb15109/Zotero/storage/H2CTN4BS/Ehrhard and Regnier - 2006 - Differential interaction nets.pdf:application/pdf;ScienceDirect Snapshot:/home/jjb15109/Zotero/storage/7BPLTF7A/S0304397506005299.html:text/html},
}

@book{Maclane1971-MACCFT,
	author = {Saunders Maclane},
	editor = {},
	publisher = {Springer},
	title = {Categories for the Working Mathematician},
	year = {1971}
}

@inproceedings{green07,
  author = {Todd J. Green and Grigoris Karvounarakis and Val Tannen},
  title = {Provenance Semirings},
  booktitle = {PODS},
  year = {2007},
  pages = {31-40},
  doi = {10.1145/1265530.1265535},
}

@book{high:ASNA2,
 author = "Nicholas J. Higham",
 title = "Accuracy and Stability of Numerical Algorithms",
 publisher = "Society for Industrial and Applied Mathematics",
 address = "Philadelphia, PA, USA",
 year = 2002,
 edition = "Second",
 isbn = "0-89871-521-0"
}

@inproceedings{simon88,
  author = {Imre Simon},
  title = {Recognizable Sets with Multiplicities in the Tropical Semiring},
  booktitle = {Mathematical Foundations of Computer Science (MFCS 1988)},
  series = {Lecture Notes in Computer Science},
  volume = {324},
  pages = {107--120},
  publisher = {Springer},
  year = {1988}
}

@book{freyd64,
  author = {Peter J. Freyd},
  title = {Abelian Categories: An Introduction to the Theory of Functors},
  publisher = {Harper \& Row},
  address = {New York},
  year = {1964},
  note = {Republished in Reprints in Theory and Applications of Categories, No. 3 (2003)}
}

@inproceedings{cousot77,
  author = {Patrick Cousot and Radhia Cousot},
  title = {Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
  booktitle = {Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '77)},
  pages = {238--252},
  publisher = {ACM},
  year = {1977},
  doi = {10.1145/512950.512973}
}

@book{steinbach17,
  author = {Bernd Steinbach and Christian Posthoff},
  title = {Boolean Differential Calculus},
  series = {Synthesis Lectures on Digital Circuits and Systems},
  publisher = {Morgan \& Claypool},
  year = {2017}
}

@article{kuipers86,
  author = {Benjamin Kuipers},
  title = {Qualitative Simulation},
  journal = {Artificial Intelligence},
  volume = {29},
  number = {3},
  pages = {289--338},
  year = {1986},
  doi = {10.1016/0004-3702(86)90073-1}
}

@article{dekleer84,
  author = {Johan de Kleer and John Seely Brown},
  title = {A Qualitative Physics Based on Confluences},
  journal = {Artificial Intelligence},
  volume = {24},
  number = {1--3},
  pages = {7--83},
  year = {1984},
  doi = {10.1016/0004-3702(84)90037-7}
}

@inproceedings{green09,
  author = {Todd J. Green and Zachary G. Ives and Val Tannen},
  title = {Reconcilable Differences},
  booktitle = {Proceedings of the 12th International Conference on Database Theory (ICDT '09)},
  pages = {212--224},
  publisher = {ACM},
  year = {2009},
  doi = {10.1145/1514894.1514920}
}

@inproceedings{amsterdamer11,
  author = {Yael Amsterdamer and Daniel Deutch and Val Tannen},
  title = {On the Limitations of Provenance for Queries with Difference},
  booktitle = {3rd Workshop on the Theory and Practice of Provenance (TaPP '11)},
  publisher = {USENIX},
  year = {2011}
}

@article{geerts10,
  author = {Floris Geerts and Antonella Poggi},
  title = {On Database Query Languages for {K}-relations},
  journal = {Journal of Applied Logic},
  volume = {8},
  number = {2},
  pages = {173--185},
  year = {2010},
  doi = {10.1016/j.jal.2009.09.001}
}

@inproceedings{psallidas18,
  author = {Fotis Psallidas and Eugene Wu},
  title = {Provenance for Interactive Visualizations},
  booktitle = {Proceedings of the Workshop on Human-In-the-Loop Data Analytics (HILDA '18)},
  publisher = {ACM},
  year = {2018},
  doi = {10.1145/3209900.3209904}
}