{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:47:25Z","timestamp":1762296445614,"version":"3.41.0"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"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":[[1997,7]]},"DOI":"10.1023\/a:1008224124336","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"219-273","source":"Crossref","is-referenced-by-count":22,"title":["Quantifiers, Anaphora, and Intensionality"],"prefix":"10.1007","volume":"6","author":[{"given":"Mary","family":"Dalrymple","sequence":"first","affiliation":[]},{"given":"John","family":"Lamping","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"125844_CR1","unstructured":"Alsina, A., 1993, \"Predicate composition: A theory of syntactic function alternations,\" Ph.D. Thesis, Stanford University."},{"key":"125844_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Barwise, J. and Cooper, R., 1981, \"Generalized quantifiers and natural language,\" Linguistics and Philosophy\n4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"125844_CR3","series-title":"Technical Report","volume-title":"A compositional DRS-based formalism for NLP applications","author":"J. Bos","year":"1994","unstructured":"Bos, J., Mastenbroek, E., McGlashan, S., Millies, S., and Pinkal, M., 1994, \"A compositional DRS-based formalism for NLP applications,\" Technical Report 59, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany."},{"key":"125844_CR4","first-page":"343","volume":"13","author":"J. Bresnan","year":"1982","unstructured":"Bresnan, J., 1982a, \"Control and complementation,\" Linguistic Inquiry\n13, 343\u2013434. Reprinted as pp. 282\u2013390 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge: The MIT Press.","journal-title":"Linguistic Inquiry"},{"volume-title":"The Mental Representation of Grammatical Relations","year":"1982","key":"125844_CR5","unstructured":"Bresnan, J., ed., 1982b, The Mental Representation of Grammatical Relations. Cambridge, MA: The MIT Press."},{"issue":"1","key":"125844_CR6","first-page":"1","volume":"20","author":"J. Bresnan","year":"1989","unstructured":"Bresnan, J. and Kanerva, J.M., 1989, \"Locative inversion in Chiche\u0175a: A case study of factorization in grammar,\" Linguistic Inquiry\n20(1), 1\u201350. Also in Syntax and Semantics 26: Syntax and the Lexicon, E. Wehrli and T. Stowell, eds., New York: Academic Press.","journal-title":"Linguistic Inquiry"},{"key":"125844_CR7","unstructured":"Butt, M., 1993, \"The structure of complex predicates,\" Ph.D. Thesis, Stanford University."},{"key":"125844_CR8","unstructured":"Carpenter, B., 1993, \"Quantification and scoping: a deductive account,\" M.S., Carnegie-Mellon University."},{"key":"125844_CR9","first-page":"131","volume-title":"Formal Semantics and Pragmatics for Natural Languages","author":"R. Cooper","year":"1979","unstructured":"Cooper, R., 1979, \"Variable binding and relative clauses,\" pp. 131\u2013169 in Formal Semantics and Pragmatics for Natural Languages, F. Guenther and S.J. Schmidt, eds., Dordrecht: D. Reidel."},{"key":"125844_CR10","unstructured":"Dalrymple, M., 1993, The Syntax of Anaphoric Binding. Volume 36 of CSLI Lecture Notes. Center for the Study of Language and Information."},{"key":"125844_CR11","unstructured":"Dalrymple, M., Hinrichs, A., Lamping, J., and Saraswat, V., 1993a, \"The resource logic of complex predicate interpretation,\" pp. 3\u201321 in Proceedings of the 1993 Republic of China Computational Linguistics Conference (ROCLING), Hsitou National Park, Taiwan, September 1993. Computational Linguistics Society of R.O.C."},{"key":"125844_CR12","doi-asserted-by":"crossref","unstructured":"Dalrymple, M., Lamping, J., and Saraswat, V., 1993b, \"LFG semantics via constraints,\" pp. 97\u2013105 in Proceedings of the Sixth Meeting of the European ACL, University of Utrecht, April 1993. European Chapter of the Association for Computational Linguistics.","DOI":"10.3115\/976744.976757"},{"key":"125844_CR13","unstructured":"Dalrymple, M., Kaplan, R.M., Maxwell, III, J.T., and Zaenen, A., eds., 1995, Formal Issues in Lexical-Functional Grammar. Center for the Study of Language and Information, Stanford University."},{"key":"125844_CR14","series-title":"CSLI Lecture Notes","first-page":"33","volume-title":"Quantifiers, Deduction, and Context","author":"M. Dalrymple","year":"1996","unstructured":"Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., 1996a, \"A deductive account of quantification in LFG,\" pp. 33\u201357 in Quantifiers, Deduction, and Context, Volume 57 of CSLI Lecture Notes, M. Kanazawa, C.J. Pi\u00f1\u00f3n, and H. de Swart, eds., Stanford, CA: CSLI Publications. Originally presented at the Second CSLI Workshop on Logic, Language, and Computation, June 4\u20136, 1993."},{"key":"125844_CR15","series-title":"CSLI Lecture Notes","first-page":"167","volume-title":"Logic, Language and Computation (Volume 1)","author":"M. Dalrymple","year":"1996","unstructured":"Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., 1996b, \"Intensional verbs without type-raising or lexical ambiguity,\" pp. 167\u2013182 in Logic, Language and Computation (Volume 1), Volume 58 of CSLI Lecture Notes, Stanford, CA: CSLI Publications. Originally presented at the Conference on Information Oriented Approaches to Logic, Language and Computation, Saint Mary\u2019s College, Moraga, CA, 1994."},{"key":"125844_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-1335-6","volume-title":"Situations, Language and Logic","author":"J.E. Fenstad","year":"1987","unstructured":"Fenstad, J.E., Halvorsen, P.K., Langholm, T., and van Benthem, J., 1987, Situations, Language and Logic, Dordrecht: D. Reidel."},{"key":"125844_CR17","volume-title":"Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar","author":"L.T.F. Gamut","year":"1991","unstructured":"Gamut, L.T.F., 1991, Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar, Chicago: The University of Chicago Press."},{"key":"125844_CR18","unstructured":"Gawron, J.M. and Peters, S., 1990, Anaphora and Quantification in Situation Semantics, Volume 19 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University."},{"key":"125844_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y., 1987, \"Linear logic,\" Theoretical Computer Science\n50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"125844_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J. and Stokhof, M., 1991, \"Dynamic predicate logic: Towards a compositional, non-representational semantics of discourse,\" Linguistics and Philosophy\n14(1), 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"125844_CR21","series-title":"Technical Note","volume-title":"Dialogic: A core natural-language processing system","author":"B. Grosz","year":"1982","unstructured":"Grosz, B., Haas, N., Hendrix, G.G., Hobbs, J., Martin, P., Moore, R., Robinson, J., and Rosenschein, S., 1982, \"Dialogic: A core natural-language processing system,\" Technical Note 270, Artificial Intelligence Center, SRI International, Menlo Park, CA."},{"issue":"4","key":"125844_CR22","first-page":"567","volume":"14","author":"P.K. Halvorsen","year":"1983","unstructured":"Halvorsen, P.K., 1983, \"Semantics for Lexical-Functional Grammar,\" Linguistic Inquiry\n14(4), 567\u2013615.","journal-title":"Linguistic Inquiry"},{"key":"125844_CR23","unstructured":"Halvorsen, P.K., 1988, \"Situation Semantics and semantic interpretation in constraint-based grammars,\" pp. 471\u2013478 in Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), Tokyo, Japan, November 1988. Also published as CSLI Technical Report CSLI-TR-101, Stanford University, 1987. Reprinted in 1995 as pp. 293\u2013309 in Formal Issues in Lexical-Functional\nGrammar, M. Dalrymple et al., eds., Stanford: Center for the Study of Language and Information."},{"key":"125844_CR24","unstructured":"Halvorsen, P.K., and Kaplan, R.M., 1988, \"Projections and semantic description in Lexical-Functional Grammar,\" pp. 1116\u20131122 in Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), Tokyo, Japan, November 1988. Reprinted in 1995 as pp. 279\u2013292 in Formal Issues in Lexical-Functional Grammar, M. Dalrymple et al., eds., Stanford: Center for the Study of Language and Information."},{"key":"125844_CR25","volume-title":"Studied flexibility: Categories and types in syntax and semantics","author":"H. Hendriks","year":"1993","unstructured":"Hendriks, H., 1993, \"Studied flexibility: Categories and types in syntax and semantics,\" ILLC Dissertation series 1993\u20135, Amsterdam: University of Amsterdam."},{"key":"125844_CR26","unstructured":"Hepple, M., 1990, \"The grammar and processing of order and dependency: A categorial approach,\" Ph.D. Thesis, University of Edinburgh."},{"key":"125844_CR27","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"W.A. Howard","year":"1980","unstructured":"Howard, W.A., 1980, \"The formulae-as-types notion of construction,\" pp. 479\u2013490 in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J.P. Seldin and J.R. Hindley, eds., London: Academic Press."},{"key":"125844_CR28","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G. Huet","year":"1975","unstructured":"Huet, G., 1975, \"A unification algorithm for typed {ie271-01}-calculus,\" Theoretical Computer Science\n1, 27\u201357.","journal-title":"Theoretical Computer Science"},{"key":"125844_CR29","first-page":"17","volume-title":"COLING-90: Papers presented to the 13th International Conference on Computational Linguistics","author":"M. Johnson","year":"1990","unstructured":"Johnson, M. and Kay, M., 1990, \"Semantic abstraction and anaphora,\" pp. 17\u201327 in COLING-90: Papers presented to the 13th International Conference on Computational Linguistics, H. Karlgren, ed., Helsinki: Helsinki University."},{"key":"125844_CR30","volume-title":"From Discourse to Logic: An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory","author":"H. Kamp","year":"1993","unstructured":"Kamp, H. and Reyle, U., 1993, From Discourse to Logic: An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Dordrecht: Kluwer Academic Publishers."},{"key":"125844_CR31","first-page":"200","volume-title":"Seventh Annual IEEE Symposium on Logic in Computer Science","author":"M.I. Kanovich","year":"1992","unstructured":"Kanovich, M.I., 1992, \"Horn programming in linear logic is NP-complete,\" pp. 200\u2013210 in Seventh Annual IEEE Symposium on Logic in Computer Science, Los Alamitos, CA: IEEE Computer Society Press."},{"key":"125844_CR32","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"R.M. Kaplan","year":"1982","unstructured":"Kaplan, R.M. and Bresnan, J., 1982, \"Lexical-Functional Grammar: A formal system for grammatical representation,\" pp. 173\u2013281 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: The MIT Press.Reprinted in 1995 as pp. 29\u2013130 in Formal Issues in Lexical-Functional Grammar, M. Dalrymple et al., eds., Stanford: Center for the Study of Language and Information."},{"key":"125844_CR33","first-page":"149","volume-title":"Linguistic Theory and Computer Applications","author":"R.M. Kaplan","year":"1987","unstructured":"Kaplan, R.M., 1987, \"Three seductions of computational psycholinguistics,\" pp. 149\u2013181 in Linguistic Theory and Computer Applications, P. Whitelock et al., eds., London: Academic Press. Also: CCL\/UMIST Report No. 86.2: Alvey\/ICL Workshop on Linguistic Theory and Computer Applications: Transcripts of Presentations and Discussions. Center for Computational Linguistics, University of Manchester, Institute of Science and Technology, Manchester. Reprinted in 1995 as pp. 337\u2013367 in Formal Issues in Lexical-Functional Grammar, M. Dalrymple et al., eds., Stanford: Center for the Study of Language and Information."},{"key":"125844_CR34","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00632365","volume":"8","author":"E. Klein","year":"1985","unstructured":"Klein, E. and Sag, I., 1985, \"Type-driven translation,\" Linguistics and Philosophy\n8, 163\u2013201.","journal-title":"Linguistics and Philosophy"},{"key":"125844_CR35","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J., 1958, \"The mathematics of sentence structure,\" American Mathematical Monthly\n65, 154\u2013170.","journal-title":"American Mathematical Monthly"},{"volume-title":"Papers in Lexical-Functional Grammar","year":"1983","key":"125844_CR36","unstructured":"Levin, L.S., Rappaport, M., and Zaenen, A., ed., 1983, Papers in Lexical-Functional Grammar, Bloomington, IN: Indiana University Linguistics Club."},{"key":"125844_CR37","series-title":"Lecture Notes in Artificial Intelligence","first-page":"253","volume-title":"Extensions of Logic Programming","author":"D.A. Miller","year":"1990","unstructured":"Miller, D.A., 1990, \"A logic programming language with lambda abstraction, function variables and simple unification,\" pp. 253\u2013281 in Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, P. Schr\u00f6der-Heister, ed., Berlin: Springer-Verlag."},{"key":"125844_CR38","first-page":"247","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"Montague, R., 1974, \"The proper treatment of quantification in ordinary English,\" pp. 247\u2013270 in Formal Philosophy, R.H. Thomason, ed., New Haven, CT: Yale University Press."},{"key":"125844_CR39","doi-asserted-by":"crossref","unstructured":"Moortgat, M., 1988, \"Categorial investigations: Logical and linguistic aspects of the Lambek Calculus,\" Ph.D. Thesis, University of Amsterdam.","DOI":"10.1515\/9783112329580"},{"key":"125844_CR40","volume-title":"Discontinuous Constituency","author":"M. Moortgat","year":"1992","unstructured":"Moortgat, M., 1992a, \"Generalized quantifiers and discontinuous type constructors,\" in Discontinuous Constituency, W. Sijtsma and H. van Horck, eds., Berlin: Mouton de Gruyter, to appear."},{"key":"125844_CR41","first-page":"403","volume-title":"Proceedings of the Eighth Amsterdam Colloquium","author":"M. Moortgat","year":"1992","unstructured":"Moortgat, M., 1992b, \"Labelled deductive systems for categorial theorem proving,\" pp. 403\u2013423 in Proceedings of the Eighth Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: Institute for Logic, Language and Computation."},{"issue":"2-3","key":"125844_CR42","first-page":"371","volume":"3","author":"M. Moortgat","year":"1995","unstructured":"Moortgat, M., 1995, \"Multimodal linguistic inference,\" Bulletin of the Interest Group in Pure and Applied Logics\n3(2\u20133), 371\u2013401.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"issue":"6","key":"125844_CR43","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1007\/BF00627513","volume":"13","author":"G. Morrill","year":"1990","unstructured":"Morrill, G., 1990, \"Intensionality and boundedness,\" Linguistics and Philosophy\n13(6), 699\u2013726.","journal-title":"Linguistics and Philosophy"},{"key":"125844_CR44","volume-title":"Studies in Linguistics and Philosophy","author":"G.V. Morrill","year":"1994","unstructured":"Morrill, G.V., 1994, Type Logical Grammar: Categorial Logic of Signs, Studies in Linguistics and Philosophy, Dordrecht: Kluwer Academic Publishers."},{"key":"125844_CR45","volume-title":"Descriptions","author":"S. Neale","year":"1990","unstructured":"Neale, S., 1990, Descriptions, Cambridge, MA: The MIT Press."},{"issue":"6","key":"125844_CR46","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/BF00985321","volume":"17","author":"R.T. Oehrle","year":"1994","unstructured":"Oehrle, R.T., 1994, \"Term-labeled categorial type systems,\" Linguistics and Philosophy\n17(6), 633\u2013678.","journal-title":"Linguistics and Philosophy"},{"key":"125844_CR47","unstructured":"Oehrle, R.T., 1995a, \"LFG as labeled deduction,\" Presented at Mathematics of Language 4, University of Pennsylvania, October 1995."},{"issue":"2-3","key":"125844_CR48","first-page":"429","volume":"3","author":"R.T. Oehrle","year":"1995","unstructured":"Oehrle, R.T., 1995b, \"Some 3-dimensional systems of labelled deduction,\" Bulletin of the Interest Group in Pure and Applied Logics\n3(2\u20133), 429\u2013448.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logics"},{"key":"125844_CR49","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1515\/9783110852820.361","volume-title":"Meaning, Use, and Interpretation of Language","author":"B. Partee","year":"1983","unstructured":"Partee, B. and Rooth, M., 1983, \"Generalized conjunction and type ambiguity,\" pp. 361\u2013383 in Meaning, Use, and Interpretation of Language, R. Bauerle, C. Schwarze, and A. von Stechow, eds., Berlin: de Gruyter."},{"issue":"1","key":"125844_CR50","first-page":"1","volume":"16","author":"F.C.N. Pereira","year":"1990","unstructured":"Pereira, F.C.N., 1990, \"Categorial semantics and scoping,\" Computational Linguistics\n16(1), 1\u201310.","journal-title":"Computational Linguistics"},{"key":"125844_CR51","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/BFb0018435","volume-title":"Logics in AI: European Workshop JELIA\u201990, Amsterdam","author":"F.C.N. Pereira","year":"1991","unstructured":"Pereira, F.C.N., 1991, \"Semantic interpretation as higher-order deduction,\" pp. 78\u201396 in Logics in AI: European Workshop JELIA\u201990, Amsterdam, J. van Eijck, ed., Berlin: SpringerVerlag."},{"key":"125844_CR52","unstructured":"Pollard, C. and Sag, I.A., 1987, Information-Based Syntax and Semantics, Volume I. Volume 13 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University."},{"key":"125844_CR53","volume-title":"Head-Driven Phrase Structure Grammar","author":"C. Pollard","year":"1993","unstructured":"Pollard, C. and Sag, I.A., 1993, Head-Driven Phrase Structure Grammar, Chicago: The University of Chicago Press."},{"key":"125844_CR54","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/978-94-009-1337-0_16","volume-title":"Natural Language Parsing and Linguistic Theories","author":"U. Reyle","year":"1988","unstructured":"Reyle, U., 1988, \"Compositional semantics for LFG,\" pp. 448\u2013474 in Natural Language Parsing and Linguistic Theories, U. Reyle and C. Rohrer, eds., Dordrecht: D. Reidel"},{"key":"125844_CR55","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/B978-0-12-545850-4.50011-X","volume-title":"Montague Grammar","author":"R. Rodman","year":"1976","unstructured":"Rodman, R., 1976, \"Scope phenomena, \u2018movement transformations\u2019, and relative clauses,\" pp. 165\u2013176 in Montague Grammar, B. Partee, ed., New York: Academic Press."},{"key":"125844_CR56","unstructured":"Roorda, D., 1991, \"Resource logics: Proof-theoretical investigations,\" Ph.D. Thesis, University of Amsterdam."},{"key":"125844_CR57","unstructured":"Saraswat, V.A. and Lincoln, P., 1992, \"Higher-order, linear concurrent constraint programming,\" Technical report, Xerox Palo Alto Research Center."},{"key":"125844_CR58","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., 1989, \"Concurrent constraint programming languages,\" Ph.D. Thesis, Carnegie-Mellon University. Reprinted in 1993 by MIT Press, Doctoral Dissertation Award and Logic Programming Series.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"125844_CR59","unstructured":"Saraswat, V.A., 1993, \"A brief introduction to linear concurrent constraint programming,\" Technical report, Xerox Palo Alto Research Center."},{"key":"125844_CR60","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1142\/9789812794499_0027","volume-title":"Current Trends in Theoretical Computer Science","author":"A. Scedrov","year":"1993","unstructured":"Scedrov, A., 1993, \"A brief guide to linear logic,\" pp. 377\u2013394 in Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salomaa, eds., River Edge, MN: World Scientific Publishing Co."},{"key":"125844_CR61","first-page":"39","volume-title":"Mathematical Logic and Its Application","author":"J. van Benthem","year":"1986","unstructured":"van Benthem, J., 1986, \"Categorial grammar and lambda calculus,\" pp. 39\u201360 in Mathematical Logic and Its Application, D. Skordev, ed., New York: Plenum Press."},{"key":"125844_CR62","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-94-015-6878-4_3","volume-title":"Categorial Grammars and Natural Language Structures","author":"J. van Benthem","year":"1988","unstructured":"van Benthem, J., 1988, \"The Lambek calculus,\" pp. 35\u201368 in Categorial Grammars and Natural Language Structures, R.T. Oehrle, E. Bach, and D. Wheeler, eds., Dordrecht: D. Reidel."},{"key":"125844_CR63","volume-title":"Language in Action: Categories, Lambdas and Dynamic Logic","author":"J. van Benthem","year":"1991","unstructured":"van Benthem, J., 1991, Language in Action: Categories, Lambdas and Dynamic Logic, Amsterdam: North-Holland."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008224124336.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008224124336\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008224124336.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:28:27Z","timestamp":1749724107000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008224124336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["125844"],"URL":"https:\/\/doi.org\/10.1023\/a:1008224124336","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}