{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:29:54Z","timestamp":1775096994613,"version":"3.50.1"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785670","type":"proceedings-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T21:15:55Z","timestamp":1565039755000},"page":"1-12","source":"Crossref","is-referenced-by-count":12,"title":["Differentiable Causal Computations via Delayed Trace"],"prefix":"10.1109","author":[{"given":"David","family":"Sprunger","sequence":"first","affiliation":[]},{"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(3:9)2008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004517"},{"key":"ref31","first-page":"1277","author":"parhi","year":"2013","journal-title":"Signal Flow Graphs and Data Flow Graphs"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603132"},{"key":"ref35","author":"zanasi","year":"2015","journal-title":"Interacting Hopf Algebras-the Theory of Linear Systems (Interacting Hopf Algebras-la théorie des systèmes lineaires)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/5.58337"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9793"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000055"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.24033\/asens.1125"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.060"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3236765"},{"key":"ref16","author":"fong","year":"2017","journal-title":"Backprop as Functor A compositional perspective on supervised learning"},{"key":"ref17","first-page":"133","article-title":"The tile model","author":"gadducci","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886659"},{"key":"ref19","first-page":"24: 1","article-title":"Diagrammatic semantics for digital circuits","author":"ghica","year":"2017","journal-title":"26th EACSL Annual Conference on Computer Science Logic CSL 2017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"ref4","first-page":"622","article-title":"Cartesian differential categories","volume":"22","author":"blute","year":"2009","journal-title":"Theory and Applications of Categories"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005095"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005676"},{"key":"ref6","first-page":"435","article-title":"A categorical semantics of signal flow graphs","author":"bonchi","year":"2014","journal-title":"CONCUR 2014-Concurrency Theory-25th International Conference CONCUR 2014"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3290338"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-013-9312-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676993"},{"key":"ref2","first-page":"124","author":"basold","year":"2014","journal-title":"(Co) Algebraic Characterizations of Signal Flow Graphs"},{"key":"ref9","first-page":"537","article-title":"Differential restriction categories","volume":"25","author":"cockett","year":"2011","journal-title":"Theory and Applications of Categories"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500591"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_17"},{"key":"ref22","article-title":"Stream differential equations: Specification formats and solution methods","volume":"13","author":"hansen","year":"2017","journal-title":"Logical Methods in Computer Science"},{"key":"ref21","author":"goodfellow","year":"2016","journal-title":"Deep Learning"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603124"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1145\/2603088","author":"henzinger","year":"2014","journal-title":"Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS) CSL-LICS '14"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00012-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2019,6,24]]},"end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785670.pdf?arnumber=8785670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T16:18:53Z","timestamp":1658247533000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785670","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}