{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T00:19:53Z","timestamp":1759191593427,"version":"3.44.0"},"reference-count":6,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.429.6","type":"journal-article","created":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T19:20:49Z","timestamp":1758568849000},"page":"115-129","source":"Crossref","is-referenced-by-count":0,"title":["Reverse Fa\u00e0 di Bruno's Formula for Cartesian Reverse Differential Categories"],"prefix":"10.4204","volume":"429","author":[{"given":"Aaron","family":"Biggin","sequence":"first","affiliation":[{"name":"Macquarie University"}]},{"given":"Jean-Simon Pacaud","family":"Lemay","sequence":"additional","affiliation":[{"name":"Macquarie University"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"issue":"23","key":"blute2009cartesian","doi-asserted-by":"crossref","first-page":"622","DOI":"10.70930\/tac\/y9rglypb","article-title":"Cartesian Differential Categories","volume":"22","author":"Blute","year":"2009","journal-title":"Theory and Applications of Categories"},{"key":"cockett2019reverse","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2020.18","article-title":"Reverse Derivative Categories","volume":"152","author":"Cockett","year":"2020","journal-title":"LIPIcs"},{"issue":"13","key":"cockett2020linearizing","doi-asserted-by":"crossref","first-page":"374","DOI":"10.70930\/tac\/bf23529u","article-title":"Linearizing Combinators","volume":"38","author":"Cockett","year":"2022","journal-title":"Theory and Applications of Categories"},{"issue":"15","key":"cockett2011faa","first-page":"394","article-title":"The Fa\u00e0 di Bruno construction","volume":"25","author":"Cockett","year":"2011","journal-title":"Theory and Applications of Categories"},{"issue":"10","key":"cruttwell2022monoidal","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1017\/S096012952200038X","article-title":"Monoidal reverse differential categories","volume":"32","author":"Cruttwell","year":"2022","journal-title":"Mathematical Structures in Computer Science"},{"key":"cruttwell2019towards","article-title":"Towards formalizing and extending differential programming using tangent categories","volume":"2019","author":"Cruttwell","year":"2019","journal-title":"Proc. ACT"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T18:16:33Z","timestamp":1759169793000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2509.20931v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"references-count":6,"URL":"https:\/\/doi.org\/10.4204\/eptcs.429.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,25]]}}}