{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:53:44Z","timestamp":1725886424355},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319436678"},{"type":"electronic","value":"9783319436692"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-43669-2_4","type":"book-chapter","created":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T06:14:07Z","timestamp":1493964847000},"page":"63-80","source":"Crossref","is-referenced-by-count":11,"title":["From Quantum Foundations via Natural Language Meaning to a Theory of Everything"],"prefix":"10.1007","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,6]]},"reference":[{"unstructured":"S. Abramsky, B. Coecke, A categorical semantics of quantum protocols, in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS) (2004), pp.\u00a0415\u2013425. arXiv:quant-ph\/0402130","key":"4_CR1"},{"key":"4_CR2","first-page":"1","volume":"1","author":"K. Ajdukiewicz","year":"1937","unstructured":"K. Ajdukiewicz, Die syntaktische konnexit\u00e4t. Stud. Philos. 1, 1\u201327 (1937)","journal-title":"Stud. Philos."},{"doi-asserted-by":"crossref","unstructured":"J.C. Baez, Quantum quandaries: a category-theoretic perspective, in The Structural Foundations of Quantum Gravity, ed. by D. Rickles, S. French, J.T. Saatsi (Oxford University Press, Oxford, 2006), pp.\u00a0240\u2013266. arXiv:quant-ph\/0404040","key":"4_CR3","DOI":"10.1093\/acprof:oso\/9780199269693.003.0008"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/410452","volume":"29","author":"Y. Bar-Hillel","year":"1953","unstructured":"Y. Bar-Hillel, A quasiarithmetical notation for syntactic description. Language 29, 47\u201358 (1953)","journal-title":"Language"},{"key":"4_CR5","first-page":"1887","volume":"256","author":"J. Benabou","year":"1963","unstructured":"J. Benabou, Categories avec multiplication. C. R. Seances Acad. Sci. Paris 256, 1887\u20131890 (1963)","journal-title":"C. R. Seances Acad. Sci. Paris"},{"doi-asserted-by":"publisher","unstructured":"C.H. Bennett, G. Brassard, C. Crepeau, R., Jozsa, A. Peres, W.K., Wootters, Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 70 (13), 1895\u20131899 (1993)","key":"4_CR6","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"250404","DOI":"10.1103\/PhysRevLett.111.250404","volume":"111","author":"F.G.S.L. Brand\u00e3o","year":"2013","unstructured":"F.G.S.L. Brand\u00e3o, M. Horodecki, J. Oppenheim, J.M. Renes, R.W. Spekkens, The resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett. 111, 250404 (2013)","journal-title":"Phys. Rev. Lett."},{"unstructured":"S. Clark, B. Coecke, E. Grefenstette, S. Pulman, M. Sadrzadeh, A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure (2013). arXiv:1305.0556","key":"4_CR8"},{"unstructured":"B. Coecke, The logic of entanglement. An invitation, Technical Report RR-03-12, Department of Computer Science, Oxford University, 2003","key":"4_CR9"},{"doi-asserted-by":"crossref","unstructured":"B. Coecke, Kindergarten quantum mechanics, in Quantum Theory: Reconsiderations of the Foundations III, ed. by A. Khrennikov (AIP Press, New York, 2005), pp. 81\u201398. arXiv:quant-ph\/0510032","key":"4_CR10","DOI":"10.1063\/1.2158713"},{"unstructured":"B. Coecke, The logic of quantum mechanics \u2013 take II (2012). arXiv:1204.3458","key":"4_CR11"},{"doi-asserted-by":"crossref","unstructured":"B. Coecke, An alternative Gospel of structure: order, composition, processes, in Quantum Physics and Linguistics. A Compositional, Diagrammatic Discourse, ed. by C. Heunen, M. Sadrzadeh, E. Grefenstette (Oxford University Press, Oxford, 2013), pp. 1\u201322. arXiv:1307.4038","key":"4_CR12","DOI":"10.1093\/acprof:oso\/9780199646296.003.0001"},{"doi-asserted-by":"crossref","unstructured":"B. Coecke, A. Kissinger, Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning (Cambridge University Press, Cambridge, 2016)","key":"4_CR13","DOI":"10.1017\/9781316219317"},{"doi-asserted-by":"crossref","unstructured":"B. Coecke, \u00c9.O. Paquette, Categories for the practicing physicist, in New Structures for Physics, ed. by B. Coecke. Lecture Notes in Physics (Springer, New York, 2011), pp. 167\u2013271. arXiv:0905.3010","key":"4_CR14","DOI":"10.1007\/978-3-642-12821-9_3"},{"unstructured":"B. Coecke, S. Perdrix, Environment and classical channels in categorical quantum mechanics, in Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL). Lecture Notes in Computer Science, vol.\u00a06247 (2010), pp.\u00a0230\u2013244. Extended version: arXiv:1004.1598","key":"4_CR15"},{"doi-asserted-by":"crossref","unstructured":"B. Coecke, \u00c9.O. Paquette, D. Pavlovi\u0107, Classical and quantum structuralism, in Semantic Techniques in Quantum Computation, ed. by S. Gay, I. Mackie. (Cambridge University Press, Cambridge, 2010), pp. 29\u201369. arXiv:0904.1997","key":"4_CR16","DOI":"10.1017\/CBO9781139193313.003"},{"unstructured":"B. Coecke, M. Sadrzadeh, S. Clark, Mathematical foundations for a compositional distributional model of meaning, in A Festschrift for Jim Lambek, vol. 36, ed. by J. van Benthem, M. Moortgat, W. Buszkowski. Linguistic Analysis (2010), pp. 345\u2013384. arxiv:1003.4394","key":"4_CR17"},{"key":"4_CR18","first-page":"1079","volume":"164","author":"B. Coecke","year":"2013","unstructured":"B. Coecke, E. Grefenstette, M. Sadrzadeh, Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Log. 164, 1079\u20131100 (2013)","journal-title":"Lambek: functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Log."},{"unstructured":"B. Coecke, T. Fritz, R.W. Spekkens, A mathematical theory of resources. Inf. Comput. (2014, to appear). arXiv:1409.5531","key":"4_CR19"},{"doi-asserted-by":"publisher","unstructured":"A. Einstein, B. Podolsky, N. Rosen, Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47 (10), 777 (1935)","key":"4_CR20","DOI":"10.1103\/PhysRev.47.777"},{"key":"4_CR21","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/10\/3\/033023","volume":"10","author":"G. Gour","year":"2008","unstructured":"G. Gour, R.W. Spekkens, The resource theory of quantum reference frames: manipulations and monotones. New J. Phys. 10, 033023 (2008)","journal-title":"New J. Phys."},{"unstructured":"E. Grefenstette, M. Sadrzadeh, Experimental support for a categorical compositional distributional model of meaning, in The 2014 Conference on Empirical Methods on Natural Language Processing (2011), pp. 1394\u20131404. arXiv:1106.4058","key":"4_CR22"},{"doi-asserted-by":"publisher","unstructured":"R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki, Quantum entanglement. Rev. Mod. Phys. 81, 865\u2013942 (2009). arXiv:quant-ph\/0702225","key":"4_CR23","DOI":"10.1103\/RevModPhys.81.865"},{"unstructured":"D. Kartsaklis, Compositional distributional semantics with compact closed categories and frobenius algebras, Ph.D. thesis, University of Oxford, 2014","key":"4_CR24"},{"unstructured":"D. Kartsaklis, M. Sadrzadeh, Prior disambiguation of word tensors for constructing sentence vectors, in The 2013 Conference on Empirical Methods on Natural Language Processing, ACL (2013), pp. 1590\u20131601","key":"4_CR25"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1134\/1.2034609","volume":"99","author":"L.H. Kauffman","year":"2005","unstructured":"L.H. Kauffman, Teleportation topology. Opt. Spectrosc. 99, 227\u2013232 (2005)","journal-title":"Opt. Spectrosc."},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek, The mathematics of sentence structure. Am. Math. Mon. 65, 154\u2013170 (1958)","journal-title":"Am. Math. Mon."},{"doi-asserted-by":"publisher","unstructured":"J. Lambek, Type grammar revisited, in Logical Aspects of Computational Linguistics, vol. 1582 (Springer, New York, 1999)","key":"4_CR28","DOI":"10.1007\/3-540-48975-4_1"},{"key":"4_CR29","volume-title":"From Word to Sentence","author":"J. Lambek","year":"2008","unstructured":"J. Lambek, From Word to Sentence (Polimetrica, Milan, 2008)"},{"key":"4_CR30","volume-title":"Social: Why our Brains are Wired to Connect","author":"M.D. Lieberman","year":"2013","unstructured":"M.D. Lieberman, Social: Why our Brains are Wired to Connect (Oxford University Press, Oxford, 2013)"},{"key":"4_CR31","volume-title":"Ambiguity in categorical models of meaning","author":"R. Piedeleu","year":"2014","unstructured":"R. Piedeleu, Ambiguity in categorical models of meaning, Master\u2019s thesis, University of Oxford, 2014"},{"issue":"2","key":"4_CR32","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.entcs.2011.01.028","volume":"270","author":"A. Preller","year":"2011","unstructured":"A. Preller, M. Sadrzadeh, Bell states and negative sentences in the distributed model of meaning. Electron. Notes Theor. Comput. Sci. 270 (2), 141\u2013153 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"4_CR33","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/S1355-2198(96)00017-2","volume":"27","author":"M. Redei","year":"1996","unstructured":"M. Redei, Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Stud. Hist. Philos. Mod. Phys. 27 (4), 493\u2013510 (1996)","journal-title":"Stud. Hist. Philos. Mod. Phys."},{"doi-asserted-by":"publisher","unstructured":"M. Sadrzadeh, S. Clark, B. Coecke, The Frobenius anatomy of word meanings I: subject and object relative pronouns. J. Log. Comput. 23, 1293\u20131317 (2013). arXiv:1404.5278","key":"4_CR34","DOI":"10.1093\/logcom\/ext044"},{"key":"4_CR35","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu027","volume-title":"The Frobenius anatomy of word meanings II: possessive relative pronouns","author":"M. Sadrzadeh","year":"2014","unstructured":"M. Sadrzadeh, S. Clark, B. Coecke, The Frobenius anatomy of word meanings II: possessive relative pronouns. J. Log. Comput. (2014). doi:10.1093\/logcom\/exu027"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1017\/S0305004100013554","volume":"31","author":"E. Schr\u00f6dinger","year":"1935","unstructured":"E. Schr\u00f6dinger, Discussion of probability relations between separated systems. Camb. Philos. Soc. 31, 555\u2013563 (1935)","journal-title":"Camb. Philos. Soc."},{"issue":"1","key":"4_CR37","first-page":"97","volume":"24","author":"H. Sch\u00fctze","year":"1998","unstructured":"H. Sch\u00fctze, Automatic word sense discrimination. Comput. Linguist. 24 (1), 97\u2013123 (1998)","journal-title":"Comput. Linguist."},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"A.M. Turing","year":"1937","unstructured":"A.M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230\u2013265 (1937)","journal-title":"Proc. Lond. Math. Soc."},{"key":"4_CR39","volume-title":"Mathematische Grundlagen der Quantenmechanik (Springer, Berlin, 1932)","author":"J. Neumann von","year":"1955","unstructured":"J. von Neumann, Mathematische Grundlagen der Quantenmechanik (Springer, Berlin, 1932). Translation, Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton, 1955)"}],"container-title":["Theory and Applications of Computability","The Incomputable"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43669-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T12:22:11Z","timestamp":1692793331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43669-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319436678","9783319436692"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43669-2_4","relation":{},"ISSN":["2190-619X","2190-6203"],"issn-type":[{"type":"print","value":"2190-619X"},{"type":"electronic","value":"2190-6203"}],"subject":[],"published":{"date-parts":[[2017]]}}}