{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T16:10:48Z","timestamp":1700237448612},"reference-count":47,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.236.11","type":"journal-article","created":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T13:31:28Z","timestamp":1483277488000},"page":"161-173","source":"Crossref","is-referenced-by-count":3,"title":["Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras"],"prefix":"10.4204","volume":"236","author":[{"given":"Mathys","family":"Rennela","sequence":"first","affiliation":[{"name":"Radboud University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Staton","sequence":"additional","affiliation":[{"name":"Oxford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Furber","sequence":"additional","affiliation":[{"name":"Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2017,1,1]]},"reference":[{"key":"CQM","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/LICS.2004.1319636","article-title":"A categorical semantics of quantum protocols","volume-title":"Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on","author":"Abramsky","year":"2004"},{"key":"alfsen-shultz","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0147-2","volume-title":"State spaces of operator algebras: basic theory, orientations, and C*-products","author":"Alfsen","year":"2012"},{"key":"baez-rosetta-stone","series-title":"Lecture Notes in Physics","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-12821-9_2","article-title":"Physics, Topology, Logic and Computation: A Rosetta Stone","volume-title":"New Structures for Physics","volume":"813","author":"Baez","year":"2011"},{"key":"bratteli-AF-C*","doi-asserted-by":"publisher","first-page":"195","DOI":"10.2307\/1996380","article-title":"Inductive limits of finite dimensional C*-algebras","volume":"171","author":"Bratteli","year":"1972","journal-title":"Transactions of the American Mathematical Society"},{"issue":"6","key":"chiribella-OTP","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.81.062348","article-title":"Probabilistic theories with purification","volume":"81","author":"Chiribella","year":"2010","journal-title":"Physical Review A"},{"issue":"1","key":"cho-qpl14-extended","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s00354-016-0204-3","article-title":"Semantics for a Quantum Programming Language by Operator Algebras","volume":"34","author":"Cho","year":"2016","journal-title":"New Generation Computing"},{"issue":"3","key":"choi","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0024-3795(75)90075-0","article-title":"Completely positive linear maps on complex matrices","volume":"10","author":"Choi","year":"1975","journal-title":"Linear algebra and its applications"},{"key":"coecke-axiomatic","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2008.04.014","article-title":"Axiomatic description of mixed states from Selinger's CPM-construction","volume":"210","author":"Coecke","year":"2008","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"coecke-martin-domains","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_10","volume-title":"A partial order on classical and quantum states","author":"Coecke","year":"2011"},{"key":"coecke-meas-sums","doi-asserted-by":"publisher","DOI":"10.1201\/9781584889007","article-title":"Quantum measurements without sums","author":"Coecke","year":"2006"},{"key":"connes","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0089204","volume-title":"Noncommutative geometry","author":"Connes","year":"1992"},{"key":"day-convolution","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0060438","article-title":"On closed categories of functors","volume-title":"Reports of the Midwest Category Seminar IV","author":"Day","year":"1970"},{"issue":"03","key":"quantum-weakest-preconditions","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1017\/S0960129506005251","article-title":"Quantum weakest preconditions","volume":"16","author":"D'Hondt","year":"2006","journal-title":"Mathematical Structures in Computer Science"},{"key":"dixmier","series-title":"North-Holland Mathematical Library","volume-title":"C*-Algebras","volume":"15","author":"Dixmier","year":"1977"},{"key":"dixmiervna","series-title":"North-Holland Mathematical Library","volume-title":"Von Neumann Algebras","volume":"27","author":"Dixmier","year":"1981"},{"issue":"6","key":"feynman","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BF01886518","article-title":"Quantum mechanical computers","volume":"16","author":"Feynman","year":"1986","journal-title":"Foundations of physics"},{"key":"flori-fritz","article-title":"(Almost) C^*-algebras as sheaves with self-action","author":"Flori","year":"2016","journal-title":"arxiv:1512.01669v2"},{"issue":"5","key":"fritz-infinite","doi-asserted-by":"publisher","DOI":"10.1063\/1.4807079","article-title":"On infinite-dimensional state spaces","volume":"54","author":"Fritz","year":"2013","journal-title":"Journal of Mathematical Physics"},{"key":"furber-thesis","volume-title":"Categorical Duality in Probability and Quantum Foundations","author":"Furber","year":"2016"},{"key":"furber-jacobs","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-40206-7_12","article-title":"From Kleisli categories to commutative C*-algebras: probabilistic Gelfand duality","volume-title":"Algebra and Coalgebra in Computer Science","author":"Furber","year":"2013"},{"issue":"4","key":"gielerak-sawerwain-generalised","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s11128-009-0151-8","article-title":"Generalised quantum weakest preconditions","volume":"9","author":"Gielerak","year":"2010","journal-title":"Quantum Information Processing"},{"issue":"4","key":"grothendieck-tensors","first-page":"401","article-title":"R\u00e9sum\u00e9 de la th\u00e9orie m\u00e9trique des produits tensoriels topologiques","volume":"2","author":"Grothendieck","year":"1996","journal-title":"Resenhas do Instituto de Matem\u00e1tica e Estat\u00edstica da Universidade de S\u00e3o Paulo"},{"key":"hardy5","article-title":"Quantum theory from five reasonable axioms","author":"Hardy","year":"2001","journal-title":"arXiv:quant-ph\/0101012"},{"key":"heunen-kissinger-selinger","article-title":"Completely positive projections and biproducts","author":"Heunen","year":"2013","journal-title":"arXiv:quant-ph\/1308.4557"},{"key":"kelly","volume-title":"Basic concepts of enriched category theory","volume":"64","author":"Kelly","year":"1982"},{"key":"maclane","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"Lane","year":"1971"},{"issue":"8","key":"lee-barrett-GPT","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/17\/8\/083001","article-title":"Computation in generalised probabilisitic theories","volume":"17","author":"Lee","year":"2015","journal-title":"New Journal of Physics"},{"key":"malherbe-scott-selinger","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-38164-5_13","article-title":"Presheaf models of quantum computation: an outline","volume-title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky","author":"Malherbe","year":"2013"},{"key":"mellies-segal","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/LICS.2010.46","article-title":"Segal Condition Meets Computational Effects","volume-title":"Proc. LICS 2010","author":"Melli\u00e8s","year":"2010"},{"key":"namioka","series-title":"Memoirs of the American Mathematical Society","volume-title":"Partially ordered linear topological spaces","volume":"24","author":"Namioka","year":"1957"},{"key":"nielsen-chuang","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667","volume-title":"Quantum computation and quantum information","author":"Nielsen","year":"2010"},{"key":"pagani-selinger-valiron-popl14","series-title":"POPL '14","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1145\/2535838.2535879","article-title":"Applying Quantitative Semantics to Higher-order Quantum Computing","volume-title":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Pagani","year":"2014"},{"key":"paulsen-CP-book","volume-title":"Completely bounded maps and operator algebras","volume":"78","author":"Paulsen","year":"2002"},{"key":"pelletier-rosicky","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF01196099","article-title":"On the equational theory of C*-algebras","volume":"30","author":"Pelletier","year":"1993","journal-title":"Algebra Universalis"},{"key":"pisier-intro-opsp","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107360235","volume-title":"Introduction to Operator Space Theory","author":"Pisier","year":"2003"},{"issue":"4","key":"QC-w-qu-phot","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.68.042319","article-title":"Quantum computation with optical coherent states","volume":"68","author":"Ralph","year":"2003","journal-title":"Physical Review A"},{"key":"rennela-mfps30","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.entcs.2014.10.016","article-title":"Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras","volume-title":"Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX)","volume":"308","author":"Rennela","year":"2014"},{"key":"rennela-staton-mfps31","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.entcs.2015.12.022","article-title":"Complete positivity and natural representation of quantum computations","volume-title":"Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)","volume":"319","author":"Rennela","year":"2015"},{"key":"sakai","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61993-9","volume-title":"C*-algebras and W*-algebras","author":"Sakai","year":"2012"},{"key":"schaefer-top-vect","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1468-7","volume-title":"Topological Vector Spaces","volume":"3","author":"Schaefer","year":"1966"},{"key":"selinger-karoubi","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2008.04.021","article-title":"Idempotents in dagger categories","volume":"210","author":"Selinger","year":"2008","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"staton-uijlen","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47666-6_32","article-title":"Effect algebras, presheaves, non-locality and contextuality","volume-title":"Proc. ICALP 2015","author":"Staton","year":"2015"},{"key":"stormer","series-title":"Springer Monographs in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34369-8","volume-title":"Positive Linear Maps of Operator Algebras","author":"St\u00f8rmer","year":"2012"},{"key":"takesaki1","volume-title":"Theory of operator algebras. I","author":"Takesaki","year":"2002"},{"key":"tull-OTP","article-title":"Operational Theories of Physics as Categories","author":"Tull","year":"2016","journal-title":"arXiv:quant-ph\/1602.06284"},{"issue":"3","key":"vicary-cat-fd-C*","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s00220-010-1138-0","article-title":"Categorical formulation of finite-dimensional quantum algebras","volume":"304","author":"Vicary","year":"2011","journal-title":"Communications in Mathematical Physics"},{"key":"zeidler-QFT-QED","series-title":"Quantum Field Theory","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85377-0","volume-title":"Quantum Field Theory II: Quantum Electrodynamics: A Bridge between Mathematicians and Physicists","author":"Zeidler","year":"2008"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T12:42:55Z","timestamp":1484224975000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1701.00662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":47,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.236.11","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}