{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:04Z","timestamp":1775037904432,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:00:00Z","timestamp":1558915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:00:00Z","timestamp":1558915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10849-019-09294-3","type":"journal-article","created":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:03:51Z","timestamp":1558973031000},"page":"261-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Variable Handling and Compositionality: Comparing DRT and DTS"],"prefix":"10.1007","volume":"28","author":[{"given":"Yukiko","family":"Yana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,27]]},"reference":[{"key":"9294_CR1","unstructured":"Ahn, R., & Kolb, H.-P. (1990). Discourse representation meets constructive mathematics. In L. Kalman, & L. Polos (Eds.), Papers from the second symposium on logic and language (pp. 1\u201318). Akademiai Kiado."},{"key":"9294_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-662-43742-1_2","volume-title":"Logical aspects of computational linguistics (LACL2014), LNCS 8535","author":"D Bekki","year":"2014","unstructured":"Bekki, D. (2014). Representing anaphora with dependent types. In N. Asher & S. V. Soloviev (Eds.), Logical aspects of computational linguistics (LACL2014), LNCS 8535 (pp. 14\u201329). Berlin: Springer."},{"key":"9294_CR3","doi-asserted-by":"crossref","unstructured":"Bekki, D., & Kawazoe, A. (2016). Implementing variable vectors in a CCG parser. In Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996\u20132016) (pp. 52\u201367). Springer.","DOI":"10.1007\/978-3-662-53826-5_4"},{"key":"9294_CR4","doi-asserted-by":"crossref","unstructured":"Bekki, D., & Mineshima, K. (2017). Context-passing and underspecification in dependent type semantics. In modern perspectives in type theoretical semantics (p. 11). Springer.","DOI":"10.1007\/978-3-319-50422-3_2"},{"key":"9294_CR5","unstructured":"Bos, J., Mastenbroek, E., Mcglashan, S., Millies, S., & Pinkal, M. (1994). A compositional DRS-based formalism for NLP applications. In In international workshop on computational semantics (pp. 21\u201331)."},{"key":"9294_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-50422-3_3","volume-title":"Modern perspectives in type-theoretical semantics","author":"S Chatzikyriakidis","year":"2017","unstructured":"Chatzikyriakidis, S., & Luo, Z. (2017). On the interpretation of common nouns: Types versus predicates. In S. Chatzikyriakidis & Z. Luo (Eds.), Modern perspectives in type-theoretical semantics (pp. 43\u201370). Berlin: Springer."},{"key":"9294_CR7","first-page":"271","volume":"14","author":"R Cooper","year":"2012","unstructured":"Cooper, R. (2012). Type theory and semantics in flux. Handbook of the Philosophy of Science, 14, 271\u2013323.","journal-title":"Handbook of the Philosophy of Science"},{"key":"9294_CR8","doi-asserted-by":"crossref","unstructured":"de\u00a0Groote, P. (2001). Towards abstract categorial grammars. In Proceedings of the 39th annual meeting on association for computational linguistics (ACL2001) (pp. 252\u2013259).","DOI":"10.3115\/1073012.1073045"},{"key":"9294_CR9","doi-asserted-by":"crossref","unstructured":"de\u00a0Groote, P. (2006). Towards a Montagovian account of dynamics. Proceedings of semantics and linguistic theory XVI (pp. 1\u201316).","DOI":"10.3765\/salt.v16i0.2952"},{"key":"9294_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.3765\/salt.v4i0.2459","volume":"4","author":"P Dekker","year":"1994","unstructured":"Dekker, P. (1994). Predicate logic with anaphora. Semantics and Linguistic Theory, 4, 79\u201395.","journal-title":"Semantics and Linguistic Theory"},{"issue":"2","key":"9294_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1017541301458","volume":"30","author":"T Fernando","year":"2001","unstructured":"Fernando, T. (2001). A type reduction from proof-conditional to dynamic semantics. Journal of Philosophical Logic, 30(2), 121\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9294_CR12","doi-asserted-by":"crossref","unstructured":"Gotham, M. (2018) A model-theoretic reconstruction of type-theoretic semantics for anaphora. In Formal grammar: 22nd international conference, FG 2017, Toulouse, France, July 22\u201323, 2017, Revised Selected Papers (pp. 37\u201353). Springer.","DOI":"10.1007\/978-3-662-56343-4_3"},{"issue":"1","key":"9294_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J Groenendijk","year":"1991","unstructured":"Groenendijk, J., & Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1), 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"9294_CR14","first-page":"274","volume":"31","author":"DTT Haug","year":"2013","unstructured":"Haug, D. T. T., & Compositionality without syntactic coindexation. (2013). Partial dynamic semantics for anaphora. Journal of Semantics, 31, 274\u2013294.","journal-title":"Journal of Semantics"},{"key":"9294_CR15","unstructured":"Kamp, H. (1981). A theory of truth and semantic representation. In Formal methods in the study of language. Mathematical Centre Tract 135."},{"key":"9294_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1616-1","volume-title":"From discourse to logic: Introduction to model-theoretic semantics of natural language, formal logic and discourse representation theory","author":"H Kamp","year":"1993","unstructured":"Kamp, H., & Reyle, U. (1993). From discourse to logic: Introduction to model-theoretic semantics of natural language, formal logic and discourse representation theory. Berlin: Springer."},{"issue":"3","key":"9294_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00159343","volume":"5","author":"H Kamp","year":"1996","unstructured":"Kamp, H., & Reyle, U. (1996). A calculus for first order discourse representation structures. Journal of Logic, Language and Information, 5(3), 297\u2013348.","journal-title":"Journal of Logic, Language and Information"},{"key":"9294_CR18","first-page":"125","volume-title":"Discourse representation theory","author":"H Kamp","year":"2011","unstructured":"Kamp, H., Van Genabith, J., & Reyle, U. (2011). Discourse representation theory (pp. 125\u2013394). Berlin: Springer."},{"key":"9294_CR19","unstructured":"Kohlhase, M., Kuschert, S., Pinkal, M. (1995). Type-theoretic semantics for lambda-DRT. In Proceedings of the tenth Amsterdam colloquium (pp. 479\u201398)."},{"key":"9294_CR20","doi-asserted-by":"crossref","unstructured":"Kubota, Y., & Levine, R. (2015) Scope parallelism in coordination in dependent type semantics. In JSAI international symposium on artificial intelligence (pp. 79\u201392). Springer.","DOI":"10.1007\/978-3-319-50953-2_7"},{"issue":"6","key":"9294_CR21","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10988-013-9126-4","volume":"35","author":"Z Luo","year":"2012","unstructured":"Luo, Z. (2012). Formal semantics in modern type theories with coercive subtyping. Linguistics and Philosophy, 35(6), 491\u2013513.","journal-title":"Linguistics and Philosophy"},{"key":"9294_CR22","unstructured":"Martin, S. (2013) The dynamics of sense and implicature. Ph.D. thesis, Ohio State University."},{"key":"9294_CR23","doi-asserted-by":"crossref","unstructured":"Martin, S., & Pollard, C. (2014) A dynamic categorial grammar. In Proceedings of formal grammar 2014 (pp. 138\u2013154). Springer.","DOI":"10.1007\/978-3-662-44121-3_9"},{"key":"9294_CR24","volume-title":"Intuitionistic type theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P. (1984). Intuitionistic type theory. Berkeley: Bibliopolis."},{"key":"9294_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"R Muskens","year":"1996","unstructured":"Muskens, R. (1996). Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19, 143\u2013186.","journal-title":"Linguistics and Philosophy"},{"key":"9294_CR26","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-010-0037-6_2","volume-title":"Resource-sensitivity, binding and anaphora","author":"R Muskens","year":"2003","unstructured":"Muskens, R. (2003). Language, lambdas, and logic. In G.-J. Kruijff & R. Oehrle (Eds.), Resource-sensitivity, binding and anaphora (pp. 23\u201354). Berlin: Springer."},{"issue":"2","key":"9294_CR27","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10992-006-9029-8","volume":"36","author":"R Nouwen","year":"2007","unstructured":"Nouwen, R. (2007). On dependent pronouns and dynamic semantics. Journal of Philosophical Logic, 36(2), 123\u2013154.","journal-title":"Journal of Philosophical Logic"},{"key":"9294_CR28","volume-title":"Type-theoretical grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A. (1994). Type-theoretical grammar. Oxford: Oxford University Press."},{"key":"9294_CR29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The syntactic process","author":"MJ Steedman","year":"2000","unstructured":"Steedman, M. J. (2000). The syntactic process. Cambridge: MIT Press."},{"key":"9294_CR30","unstructured":"Sundholm, G. (1986). Proof theory and meaning. Handbook of philosophical logic: Volume III: Alternatives in classical logic (pp. 471\u2013506). Springer."},{"issue":"3","key":"9294_CR31","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1011251627260","volume":"10","author":"J van Eijck","year":"2001","unstructured":"van Eijck, J. (2001). Incremental dynamics. Journal of Logic, Language and Information, 10(3), 319\u2013351.","journal-title":"Journal of Logic, Language and Information"},{"key":"9294_CR32","volume-title":"Handbook of logic and language","author":"J van Eijck","year":"1997","unstructured":"van Eijck, J., & Kamp, H. (1997). Representing discourse in context. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language. Cambridge: MIT Press."},{"issue":"3","key":"9294_CR33","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF01050788","volume":"2","author":"CFM Vermeulen","year":"1993","unstructured":"Vermeulen, C. F. M. (1993). Sequence semantics for dynamic predicate logic. Journal of Logic, Language and Information, 2(3), 217\u2013254.","journal-title":"Journal of Logic, Language and Information"},{"key":"9294_CR34","first-page":"1713","volume-title":"Semantics: An international handbook of natural language meaning","author":"R Zamparelli","year":"2011","unstructured":"Zamparelli, R. (2011). Coordination. In C. Maienborn, K. von Heusinger, & P. Portner (Eds.), Semantics: An international handbook of natural language meaning (pp. 1713\u20131741). Berlin: De Gruyter Mouton."},{"key":"9294_CR35","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00627399","volume":"12","author":"H Zeevat","year":"1989","unstructured":"Zeevat, H. (1989). A compositional approach to discourse representation theory. Linguistics and Philosophy, 12, 95\u2013131.","journal-title":"Linguistics and Philosophy"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09294-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09294-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09294-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T18:28:55Z","timestamp":1721327335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09294-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,27]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9294"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09294-3","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,27]]},"assertion":[{"value":"27 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}