{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:04:36Z","timestamp":1742979876045,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662530412"},{"type":"electronic","value":"9783662530429"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-53042-9_16","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T09:36:04Z","timestamp":1470389764000},"page":"273-289","source":"Crossref","is-referenced-by-count":2,"title":["Proof Nets for the Displacement Calculus"],"prefix":"10.1007","author":[{"given":"Richard","family":"Moot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday","year":"2014","unstructured":"Casadio, C., Coecke, B., Moortgat, M., Scott, P. (eds.): Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday. LNAI, vol. 8222. Springer, Heidelberg (2014)"},{"key":"16_CR2","unstructured":"Moot, R.: Filtering axiom links for proof nets. In: Kallmeyer, L., Monachesi, P., Penn, G., Satta, G. (eds.) Proccedings of Formal Grammar (2007)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Moot, R.: Extended Lambek calculi and first-order linear logic. In: [1], pp. 297\u2013330","DOI":"10.1007\/978-3-642-54789-8_17"},{"issue":"3","key":"16_CR4","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1023\/A:1020525032763","volume":"71","author":"R Moot","year":"2002","unstructured":"Moot, R., Puite, Q.: Proof nets for the multimodal Lambek calculus. Stud. Logica 71(3), 415\u2013442 (2002)","journal-title":"Stud. Logica"},{"key":"16_CR5","volume-title":"Categorial Grammar: Logical Syntax, Semantics, and Processing","author":"G Morrill","year":"2011","unstructured":"Morrill, G.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, New York (2011)"},{"issue":"2","key":"16_CR6","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/logcom\/exm089","volume":"18","author":"G Morrill","year":"2008","unstructured":"Morrill, G., Fadda, M.: Proof nets for basic discontinuous Lambek calculus. J. Logic Comput. 18(2), 239\u2013256 (2008)","journal-title":"J. Logic Comput."},{"issue":"1","key":"16_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10849-010-9129-2","volume":"20","author":"G Morrill","year":"2011","unstructured":"Morrill, G., Valent\u00edn, O., Fadda, M.: The Displacement calculus. J. Logic Lang. Inform. 20(1), 1\u201348 (2011)","journal-title":"J. Logic Lang. Inform."},{"issue":"1","key":"16_CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/j.tcs.2006.03.018","volume":"357","author":"M Pentus","year":"2006","unstructured":"Pentus, M.: Lambek calculus is NP-complete. Theor. Comput. Sci. 357(1), 186\u2013201 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Valent\u00edn, O.: The hidden structural rules of the discontinuous Lambek calculus. In: [1], pp. 402\u2013420","DOI":"10.1007\/978-3-642-54789-8_23"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53042-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T07:10:49Z","timestamp":1517901049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}