{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:01Z","timestamp":1725891301448},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_13","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"186-200","source":"Crossref","is-referenced-by-count":1,"title":["Extractability as the Deduction Theorem in Subdirectional Combinatory Logic"],"prefix":"10.1007","author":[{"given":"Hiroko","family":"Ozaki","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Bekki, D.: Combinatory categorial grammar as a substructural logic \u2014 preliminary remarks \u2014. In: The Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), JSAI International Symposia on AI 2010. pp. 70\u201383. Campus Innovation Center, Tokyo (2010)"},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators: an Introduction","author":"J.R. Hindley","year":"2008","unstructured":"Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: an Introduction. Cambridge University Press, Cambridge (2008)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065, 154\u2013169 (1958)","journal-title":"American Mathematical Monthly"},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar","author":"G.V. Morrill","year":"1994","unstructured":"Morrill, G.V.: Type Logical Grammar. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"13_CR5","unstructured":"Ozaki, H., Bekki, D.: Computational properties of subdirectional combinatory logic. Tech. rep., Ochanomizu University, OCHA-IS 10-2, February 7 (2011)"},{"key":"13_CR6","unstructured":"Ross, J.R.: Constraints on Variables in Syntax. Unpublished ph.d. dissertation. MIT (1967)"},{"key":"13_CR7","volume-title":"The Syntactic Process (Language, Speech, and Communication)","author":"M.J. Steedman","year":"2000","unstructured":"Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:00Z","timestamp":1620129240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}