{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T12:53:49Z","timestamp":1769000029129,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642547881","type":"print"},{"value":"9783642547898","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-642-54789-8_1","type":"book-chapter","created":{"date-parts":[[2014,4,3]],"date-time":"2014-04-03T05:58:44Z","timestamp":1396504724000},"page":"1-13","source":"Crossref","is-referenced-by-count":11,"title":["Semantic Unification"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-60925-3_55","volume-title":"Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing","author":"C. Aone","year":"1996","unstructured":"Aone, C., Bennet, S.W.: Applying machine learning to anaphora resolution. In: IJCAI-WS 1995. LNCS, vol.\u00a01040, pp. 302\u2013314. Springer, Heidelberg (1996)"},{"key":"1_CR2","unstructured":"Abramsky, S.: Relational databases and Bells theorem. In: Tannen, V. (ed.) Festschrift for Peter Buneman (2013) (to appear); Available as CoRR, abs\/1208.6416"},{"issue":"11","key":"1_CR3","doi-asserted-by":"publisher","first-page":"113036","DOI":"10.1088\/1367-2630\/13\/11\/113036","volume":"13","author":"S. Abramsky","year":"2011","unstructured":"Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New Journal of Physics\u00a013(11), 113036 (2011)","journal-title":"New Journal of Physics"},{"key":"1_CR4","unstructured":"Abramsky, S., Gottlob, G., Kolaitis, P.: Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. To Appear in Proceedings of IJCAI 2013 (2013)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Hardy, L.: Logical Bell Inequalities. Physical Review A\u00a085, 062114 (2012)","DOI":"10.1103\/PhysRevA.85.062114"},{"key":"1_CR6","first-page":"345","volume":"36","author":"B. Coecke","year":"2010","unstructured":"Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for a compositional distributional model of meaning. Linguistic Analysis\u00a036, 345\u2013384 (2010)","journal-title":"Linguistic Analysis"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Dagan, I., Itai, A.: Automatic processing of large corpora for the resolution of anaphora references. In: Proceedings of the 13th International Conference on Computational Linguistics (COLING 1990), Finland, vol.\u00a03, pp. 330\u2013332 (1990)","DOI":"10.3115\/991146.991209"},{"key":"1_CR8","unstructured":"Firth, J.R.: A synopsis of linguistic theory 1930-1955. Studies in Linguistic Analysis, Special volume of the Philological Society. Blackwell, Oxford (1957)"},{"key":"1_CR9","unstructured":"Geach, P.T.: Reference and Generality, An examination of some medieval and modern theories, vol.\u00a088. Cornell University Press (1962)"},{"key":"1_CR10","unstructured":"Grefenstette, E., Sadrzadeh, M.: Experimental Support for a Categorical Compositional Distributional Model of Meaning. In: Proceedings of the Conference on Empirical Methods in Natural Language Processing, EMNLP 2011 (2011)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philisophy\u00a014, 39\u2013100 (1991)","journal-title":"Linguistics and Philisophy"},{"key":"1_CR12","unstructured":"Harris, Z.S.: Mathematical structures of language, Interscience Tracts in Pure and Applied Mathematics, vol.\u00a021. University of Michigan (1968)"},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1103\/PhysRev.106.620","volume":"106","author":"E.T. Jaynes","year":"1957","unstructured":"Jaynes, E.T.: Information theory and statistical mechanics. Physical Review\u00a0106(4), 620 (1957)","journal-title":"Physical Review"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kamp, H., van Genabith, J., Reyle, U.: Discourse Representation Theory. In: Handbook of Philosophical Logic, vol.\u00a015, pp. 125\u2013394 (2011)","DOI":"10.1007\/978-94-007-0485-5_3"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1011444711686","volume":"4","author":"J. Lambek","year":"2001","unstructured":"Lambek, J.: Type Grammars as Pregroups. Grammars\u00a04, 21\u201339 (2001)","journal-title":"Grammars"},{"key":"1_CR16","unstructured":"Lane, S.M., Moerdijk, I.: Sheaves in geometry and logic: A first introduction to topos theory. Springer (1992)"},{"key":"1_CR17","unstructured":"Mitkov, R.: Anaphora Resolution. Longman (2002)"},{"key":"1_CR18","volume-title":"Introduction to Montague Semantics","author":"D.R. Dowty","year":"1981","unstructured":"Dowty, D.R., Wall, R.E., Peters, S.: Introduction to Montague Semantics. D. Reidel Publishing Company, Dodrecht (1981)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1013026830239","volume":"11","author":"A. Visser","year":"2002","unstructured":"Visser, A.: The Donkey and the Monoid: Dynamic Semantics with Control Elements. Journal of Logic, Language and Information Archive\u00a011, 107\u2013131 (2002)","journal-title":"Journal of Logic, Language and Information Archive"}],"container-title":["Lecture Notes in Computer Science","Categories and Types in Logic, Language, and Physics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54789-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T06:31:09Z","timestamp":1578551469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54789-8_1"}},"subtitle":["A Sheaf Theoretic Approach to Natural Language"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547881","9783642547898"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54789-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}