{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T10:06:01Z","timestamp":1748340361723},"reference-count":25,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3831,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s1571-0661(04)80556-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-22","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Physical Traces"],"prefix":"10.1016","volume":"69","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Coecke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Retracing some Paths in Process Algebra, \u201cProceedings of the Seventh International Conference on Concurrency Theory\u201d LNCS 1119 (1996), 1\u201317.","DOI":"10.1007\/3-540-61604-7_44"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Abramsky, S., E. Haghverdi and P. J. Scott, Geometry of Interaction and Linear Combinatory Algebras, Mathematical Structures in Computer Science, To appear.","DOI":"10.1017\/S0960129502003730"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1006\/inco.1994.1041","article-title":"New Foundations for the Geometry of Interaction","volume":"111","author":"Abramsky","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0019-9958(76)90390-9","article-title":"Feedback and Generalized Logic","volume":"31","author":"Bainbridge","year":"1976","journal-title":"Information and Control"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB5","doi-asserted-by":"crossref","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","article-title":"Teleporting an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels","volume":"70","author":"Bennet","year":"1993","journal-title":"Physical Review Letters"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB6","unstructured":"Bennett, C. H., J. I. Cirac, D. Leifer, D. W. Leung, N. Linden, S. Poperscu and G. Vidal, Optimal Simulation of Two-Qubit Hamiltoneans using General Local Operations, URL: http:\/\/arXiv.org\/abs\/quant-ph\/0107035."},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB7","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The Logic of Quantum Mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB8","unstructured":"Blute, R. F., I. T. Ivanov and P. Panangaden, Discrete Quantum Causal Dynamics, URL: http:\/\/arXiv.org\/abs\/quant-ph\/0109053."},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB9","series-title":"\u201cCurrent Research in Operational Quantum Logic: Algebras, Categories, Languages\u201d","year":"2000"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01263491","article-title":"Morphisms of Projective Geometries and of Corresponding Lattices","volume":"47","author":"Faure","year":"1993","journal-title":"Geometriae Dedicata"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01263998","article-title":"Morphisms of Projective Geometries and Semilinear Maps","volume":"53","author":"Faure","year":"1994","journal-title":"Geometriae Dedicata"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB12","series-title":"\u201cModern Projective Geometry\u201d","author":"Faure","year":"2000"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB13","unstructured":"Jozsa R., A Stronger No-Cloning Theorem, URL: http:\/\/arXiv.org\/abs\/quant-ph\/0204153."},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB14","first-page":"885","article-title":"Measures on the Closed Subspaces of a Hilbert Space","volume":"6","author":"Gleason","year":"1957","journal-title":"Journal of Mathematics and Mechanics"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB15","unstructured":"Haghverdi E., \u201cA Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness\u201d, PhD Thesis, University of Ottawa, 2000."},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB16","series-title":"\u201cLectures on Quantum Theory\u201d","author":"Isham","year":"1995"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Joyal A., R. Street and D. Verity, Traced Monoidal Categories, Proceedings of the Cambridge Philosophical Society 119 (1996), 447\u2013468.","DOI":"10.1017\/S0305004100074338"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB18","first-page":"59","article-title":"The Problem of Hidden Variables in Quantum Mechanics","volume":"17","author":"Kochen","year":"1967","journal-title":"Journal of Mathematics and Mechanics"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB19","series-title":"\u201cMathematische Grundlagen der Quantenmechanik\u201d","author":"von Neumann","year":"1932"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB20","series-title":"\u201cFoundations of Quantum Physics\u201d","author":"Piron","year":"1976"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB21","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/0375-9601(74)90132-7","article-title":"Test of a Single Crystal Neutron Interferometer","volume":"47 A","author":"Rauch","year":"1974","journal-title":"Physics Letters"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB22","unstructured":"Selinger P., A Note on Bainbridge's Powerset Construction, URL: ftp:\/\/quasar.mathstat.uottawa.ca\/pub\/selinger\/bainbridge.ps.gz."},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB23","doi-asserted-by":"crossref","unstructured":"Selinger P., Categorical Structure of Asynchrony, \u201cProceedings of MFPS 15\u201d, Electronic Notes in Theoretical Computer Science 20 (1999).","DOI":"10.1016\/S1571-0661(04)80073-2"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB24","series-title":"\u201cThe Geometry of Quantum Theory\u201d","author":"Varadarajan","year":"1968"},{"key":"10.1016\/S1571-0661(04)80556-5_NEWBIB25","doi-asserted-by":"crossref","first-page":"802","DOI":"10.1038\/299802a0","article-title":"A Single Quantum cannot be Cloned","volume":"299","author":"Wootters","year":"1982","journal-title":"Nature"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805565?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805565?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:34Z","timestamp":1549191274000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":25,"alternative-id":["S1571066104805565"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80556-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}