乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:09Z","timestamp":1725902649325},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"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"},{"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-662-55386-2_27","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"371-386","source":"Crossref","is-referenced-by-count":2,"title":["Coherent Diagrammatic Reasoning in Compositional Distributional Semantics"],"prefix":"10.1007","author":[{"given":"Gijs Jasper","family":"Wijnholds","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-12821-9_2","volume-title":"New Structures for Physics","author":"J Baez","year":"2010","unstructured":"Baez, J., Stay, M.: Physics, topology, logic and computation: a rosetta stone. In: Coecke, B. (ed.) New Structures for Physics, pp. 95\u2013172. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-12821-9_2"},{"issue":"11","key":"27_CR2","doi-asserted-by":"crossref","first-page":"1079","DOI":"10.1016\/j.apal.2013.05.009","volume":"164","author":"B Coecke","year":"2013","unstructured":"Coecke, B., Grefenstette, E., Sadrzadeh, M.: Lambek vs. Lambek: functorial vector space semantics and string diagrams for lambek calculus. Ann. Pure Appl. log. 164(11), 1079\u20131100 (2013)","journal-title":"Ann. Pure Appl. log."},{"key":"27_CR3","unstructured":"Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for a compositional distributional model of meaning. arXiv preprint \narXiv:1003.4394\n\n (2010)"},{"issue":"1","key":"27_CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0022-4049(92)90018-B","volume":"78","author":"P Freyd","year":"1992","unstructured":"Freyd, P., Yetter, D.N.: Coherence theorems via knot theory. J. Pure Appl. Algebr. 78(1), 49\u201376 (1992)","journal-title":"J. Pure Appl. Algebr."},{"issue":"1","key":"27_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50(1), 1\u2013101 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"27_CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus, I. Adv. Math. 88(1), 55\u2013112 (1991)","journal-title":"Adv. Math."},{"issue":"1","key":"27_CR7","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102(1), 20\u201378 (1993)","journal-title":"Adv. Math."},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"GM Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Algebr. 19, 193\u2013213 (1980)","journal-title":"J. Pure Appl. Algebr."},{"issue":"3","key":"27_CR9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65(3), 154\u2013170 (1958)","journal-title":"Am. Math. Mon."},{"key":"27_CR10","first-page":"C178","volume":"166","author":"J Lambek","year":"1961","unstructured":"Lambek, J.: On the calculus of syntactic types. Struct. Lang. Math. Asp. 166, C178 (1961)","journal-title":"Struct. Lang. Math. Asp."},{"issue":"4","key":"27_CR11","first-page":"287","volume":"2","author":"J Lambek","year":"1968","unstructured":"Lambek, J.: Deductive systems and categories. Theory Comput. Syst. 2(4), 287\u2013318 (1968)","journal-title":"Theory Comput. Syst."},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48975-4_1","volume-title":"Logical Aspects of Computational Linguistics","author":"J Lambek","year":"1999","unstructured":"Lambek, J.: Type grammar revisited. In: Lecomte, A., Lamarche, F., Perrier, G. (eds.) LACL 1997. LNCS, vol. 1582, pp. 1\u201327. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48975-4_1"},{"key":"27_CR13","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J Lambek","year":"1988","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic, vol. 7. Cambridge University Press, Cambridge (1988)"},{"issue":"3\u20134","key":"27_CR14","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF00159344","volume":"5","author":"M Moortgat","year":"1996","unstructured":"Moortgat, M.: Multimodal linguistic inference. J. Log. Lang. Inf. 5(3\u20134), 349\u2013385 (1996)","journal-title":"J. Log. Lang. Inf."},{"key":"27_CR15","unstructured":"Moot, R.: Proof Nets for Linguistic Analysis. Ph.D. thesis, Utrecht University (2002)"},{"key":"27_CR16","unstructured":"Penrose, R.: Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications, vol. 1, pp. 221\u2013244 (1971)"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","volume-title":"New Structures for Physics","author":"P Selinger","year":"2010","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics, pp. 289\u2013355. Springer, Heidelberg (2010)"},{"key":"27_CR18","unstructured":"Wijnholds, G.J.: Categorical foundations for extended compositional distributional models of meaning. MSc. thesis, University of Amsterdam (2014)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,3]],"date-time":"2017-07-03T06:33:44Z","timestamp":1499063624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}