{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T08:51:31Z","timestamp":1754556691964,"version":"3.41.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1023\/a:1008386826277","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"433-447","source":"Crossref","is-referenced-by-count":10,"title":["Proof Nets and the Complexity of Processing Center Embedded Constructions"],"prefix":"10.1007","volume":"7","author":[{"given":"Mark","family":"Johnson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"187337_CR1","volume-title":"Aspects of the Theory of Syntax","author":"N. Chomsky","year":"1965","unstructured":"Chomsky, N., 1965, Aspects of the Theory of Syntax, Cambridge, MA: The MIT Press."},{"key":"187337_CR2","first-page":"419","volume-title":"Handbook of Mathematical Psychology","author":"N. Chomsky","year":"1963","unstructured":"Chomsky, N. and Miller, G., 1963, \u201cFinitary models of language users,\u201d pp. 419\u2013492 in Handbook of Mathematical Psychology, Vol. 2, R. Luce, ed., New York: John Wiley and Sons."},{"key":"187337_CR3","volume-title":"The Proceedings of the NELS","author":"E. Gibson","year":"1996","unstructured":"Gibson, E. and Thomas, J., 1996, \u201cThe processing complexity of English center-embedded and selfembedded structures,\u201d in The Proceedings of the NELS, North Eastern Linguistic Society, ed., Amherst, MA: Graduate Student Association, University of Massachusetts."},{"key":"187337_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511629150","volume-title":"Advances in Linear Logic","author":"J.-Y. Girard","year":"1995","unstructured":"Girard, J.-Y., 1995, \u201cLinear Logic: Its syntax and semantics,\u201d pp. 1\u201342 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge, England: Cambridge University Press."},{"key":"187337_CR5","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., and Taylor, P., 1989, Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Vol. 7, Cambridge, England: Cambridge University Press."},{"key":"187337_CR6","first-page":"241","volume-title":"Proofs and Linguistic Categories, Proceedings of the 1996 Roma Workshop","author":"F. Lamarche","year":"1996","unstructured":"Lamarche, F. and Retor\u00e9, C., 1996, \u201cProof nets for the Lambek calculus \u2014 An overview,\u201d pp. 241\u2013262 in Proofs and Linguistic Categories, Proceedings of the 1996 Roma Workshop, V.M. Abrusci and C. Casadio, eds., Bologna: Cooperativa Libraria Universitaria Editrice Bologna."},{"issue":"1","key":"187337_CR7","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF01708421","volume":"25","author":"R. Lewis","year":"1996","unstructured":"Lewis, R., 1996a, \u201cInterference in short-term memory: The magical number two (or three) in sentence processing,\u201d Journal of Psycholinguistic Research\n25(1), 93\u2013115.","journal-title":"Journal of Psycholinguistic Research"},{"key":"187337_CR8","unstructured":"Lewis, R., 1996b, \u201cA theory of grammatical but unacceptable embeddings,\u201d Unpublished manuscript, Ohio State University."},{"key":"187337_CR9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M., 1997, \u201cCategorial type logics,\u201d pp. 93\u2013178 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Cambridge, MA: The MIT Press."},{"key":"187337_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type-Logical Grammar: Categorial Logic of Signs","author":"G.V. Morrill","year":"1994","unstructured":"Morrill, G.V., 1994, Type-Logical Grammar: Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers."},{"issue":"2","key":"187337_CR11","first-page":"39","volume":"37","author":"C. Retor\u00e9","year":"1996","unstructured":"Retor\u00e9, C., 1996, \u201cCalcul de Lambek et logique lin\u00e9aire,\u201d Traitement Automatique des Langues\n37(2), 39\u201370.","journal-title":"Traitement Automatique des Langues"},{"key":"187337_CR12","unstructured":"Roorda, D., 1991, \u201cResource logics: Proof-theoretical investigations,\u201d Ph.D. Thesis, University of Amsterdam."},{"key":"187337_CR13","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1093\/logcom\/2.2.211","volume":"2","author":"D. Roorda","year":"1992","unstructured":"Roorda, D., 1992, \u201cProof nets for Lambek calculus,\u201d Journal of Logic and Computation\n2, 211\u2013231.","journal-title":"Journal of Logic and Computation"},{"key":"187337_CR14","first-page":"303","volume-title":"Perspectives in Sentence Processing","author":"E.P. Stabler","year":"1994","unstructured":"Stabler, E.P., 1994, \u201cThe finite connectivity of linguistic structure,\u201d pp. 303\u2013336 in Perspectives in Sentence Processing, C. Clifton, L. Frazier, and K. Rayner, eds., Hillsdale, NJ: Lawrence Erlbaum."},{"key":"187337_CR15","volume-title":"Language in Action: Categories, Lambdas and Dynamic Logic","author":"J. van Benthem","year":"1995","unstructured":"van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: The MIT Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008386826277.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008386826277\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008386826277.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:19:33Z","timestamp":1749723573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008386826277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["187337"],"URL":"https:\/\/doi.org\/10.1023\/a:1008386826277","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}