{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T00:35:53Z","timestamp":1705106153434},"reference-count":31,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.397.9","type":"journal-article","created":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T11:36:28Z","timestamp":1704454588000},"page":"137-151","source":"Crossref","is-referenced-by-count":0,"title":["Constructor Theory as Process Theory"],"prefix":"10.4204","volume":"397","author":[{"given":"Stefano","family":"Gogioso","sequence":"first","affiliation":[{"name":"Hashberg Ltd"}]},{"given":"Vincent","family":"Wang-Ma\u015bcianica","sequence":"additional","affiliation":[{"name":"Quantinuum Ltd"}]},{"given":"Muhammad Hamza","family":"Waseem","sequence":"additional","affiliation":[{"name":"Quantinuum Ltd"}]},{"given":"Carlo Maria","family":"Scandolo","sequence":"additional","affiliation":[{"name":"University of Calgary"}]},{"given":"Bob","family":"Coecke","sequence":"additional","affiliation":[{"name":"Quantinuum Ltd"}]}],"member":"2720","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"key":"AC1","doi-asserted-by":"publisher","first-page":"415","DOI":"10.5555\/1018438.1021878","article-title":"A categorical semantics of quantum protocols","volume-title":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"Abramsky","year":"2004"},{"key":"alvarez-picallo_rewriting_2022","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSCD.2022.29","article-title":"Rewriting for Monoidal Closed Categories: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022","author":"Alvarez-Picallo","year":"2022","journal-title":"7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)"},{"issue":"3","key":"baez_open_2020","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1017\/S0960129520000043","article-title":"Open Petri Nets","volume":"30","author":"Baez","year":"2020","journal-title":"Mathematical Structures in Computer Science"},{"key":"boisseau_string_2022","doi-asserted-by":"publisher","first-page":"178","DOI":"10.4204\/EPTCS.372.13","article-title":"String Diagrammatic Electrical Circuit Theory","volume":"372","author":"Boisseau","year":"2022","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"bonchi_graphical_2019","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS.2019.8785877","article-title":"Graphical Affine Algebra","volume-title":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Bonchi","year":"2019"},{"issue":"1","key":"bonchi_interacting_2017","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jpaa.2016.06.002","article-title":"Interacting Hopf Algebras","volume":"221","author":"Bonchi","year":"2017","journal-title":"Journal of Pure and Applied Algebra"},{"key":"bonchi_categorical_2014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_30","article-title":"A Categorical Semantics of Signal Flow Graphs","author":"Bonchi","year":"2014"},{"issue":"7","key":"cho_disintegration_2019","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1017\/S0960129518000488","article-title":"Disintegration and Bayesian Inversion via String Diagrams","volume":"29","author":"Cho","year":"2019","journal-title":"Mathematical Structures in Computer Science"},{"key":"coecke2000","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1023\/A:1003677418744","article-title":"Structural characterization of compoundness","volume":"39","author":"Coecke","year":"2000","journal-title":"International Journal of Theoretical Physics"},{"key":"CD2","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting quantum observables: categorical algebra and diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New Journal of Physics"},{"key":"CMS","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1012377520222","article-title":"Quantaloids describing causation and propagation of physical properties","volume":"14","author":"Coecke","year":"2001","journal-title":"Foundations of Physics Letters"},{"key":"CPaqPav","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1017\/CBO9781139193313.003","article-title":"Classical and quantum structuralism","volume-title":"Semantic Techniques in Quantum Computation","author":"Coecke","year":"2010"},{"key":"CPav","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1201\/9781584889007","article-title":"Quantum measurements without sums","volume-title":"Mathematics of Quantum Computing and Technology","author":"Coecke","year":"2007"},{"key":"coecke_quantum_2023","volume-title":"Quantum in Pictures: A New Way to Understand the Quantum World","author":"Coecke","year":"2023"},{"key":"coecke_picturing_2017","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317","volume-title":"Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning","author":"Coecke","year":"2017"},{"key":"cruttwell_categorical_2022","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-99336-8_1","article-title":"Categorical foundations of gradient-based learning","volume-title":"Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings","author":"Cruttwell","year":"2022"},{"issue":"18","key":"deutsch2013constructor","doi-asserted-by":"publisher","first-page":"4331","DOI":"10.1007\/s11229-013-0279-z","article-title":"Constructor theory","volume":"190","author":"Deutsch","year":"2013","journal-title":"Synthese"},{"key":"deutsch2015constructor","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2014.0540","article-title":"Constructor theory of information","volume":"471","author":"Deutsch","year":"2015","journal-title":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences"},{"issue":"2","key":"FMP","first-page":"150","article-title":"Deterministic evolutions and Schr\u00f6dinger flows","volume":"68","author":"Faure","year":"1995","journal-title":"Helvetica Physica Acta"},{"issue":"4","key":"fritz_finettis_2021","doi-asserted-by":"publisher","DOI":"10.31390\/josa.2.4.06","article-title":"De Finetti's Theorem in Categorical Probability","volume":"2","author":"Fritz","year":"2021","journal-title":"Journal of Stochastic Analysis"},{"key":"ghica_categorical_2016","series-title":"FMCAD '16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/FMCAD.2016.7886659","article-title":"Categorical semantics of digital circuits","volume-title":"Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design","author":"Ghica","year":"2016"},{"key":"gogioso2019church","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1905.13117","article-title":"A process-theoretic church of the larger hilbert space","author":"Gogioso","year":"2019","journal-title":"arXiv preprint arXiv:1905.13117"},{"key":"HardyJTF","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1017\/CBO9780511976971.013","article-title":"Foliable operational structures for general probabilistic theories","volume-title":"Deep Beauty: Understanding the Quantum World through Mathematical Innovation","author":"Hardy","year":"2011"},{"key":"haydon_compositional_2020","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-030-54249-8_32","article-title":"Compositional Diagrammatic First-Order Logic","volume-title":"Diagrammatic Representation and Inference","author":"Haydon","year":"2020"},{"key":"hoare1987weakest","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0020-0190(87)90106-2","article-title":"The weakest prespecification","volume":"24","author":"Hoare","year":"1987","journal-title":"Information Processing Letters"},{"key":"Jauch","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"Jauch","year":"1968"},{"key":"marletto_science_2021","doi-asserted-by":"publisher","DOI":"10.1016\/S0262-4079(21)00658-8","volume-title":"The Science of Can and Can't: A Physicist's Journey Through the Land of Counterfactuals","author":"Marletto","year":"2021"},{"issue":"1","key":"DJMoore","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","article-title":"On state spaces and property lattices","volume":"30","author":"Moore","year":"1999","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"Piron","volume-title":"Foundations of quantum physics","author":"Piron","year":"1976"},{"key":"selby2018reconstructing","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-04-28-445","article-title":"Reconstructing quantum theory from diagrammatic postulates","author":"Selby","year":"2018","journal-title":"arXiv preprint arXiv:1802.00367"},{"key":"wilson_safari_2021","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/EPTCS.333.1","article-title":"The Safari of Update Structures: Visiting the Lens and Quantum Enclosures","volume":"333","author":"Wilson","year":"2021","journal-title":"Electronic Proceedings in Theoretical Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T14:34:14Z","timestamp":1705070054000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2401.05364v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"references-count":31,"URL":"https:\/\/doi.org\/10.4204\/eptcs.397.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,14]]}}}