{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:27:19Z","timestamp":1759638439873},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320897"},{"type":"electronic","value":"9783642320903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32090-3_7","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T05:47:26Z","timestamp":1344577646000},"page":"68-81","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic Semantics as Monadic Computation"],"prefix":"10.1007","author":[{"given":"Christina","family":"Unger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Asher, N., Pogodalla, S.: A Montegovian treatment of modal subordination. In: Proceedings of Semantics and Linguistic Theory XX (2010)","DOI":"10.3765\/salt.v20i0.2585"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1022183511876","volume":"10","author":"C. Barker","year":"2002","unstructured":"Barker, C.: Continuations and the nature of quantification. Natural Language Semantics\u00a010, 211\u2013242 (2002)","journal-title":"Natural Language Semantics"},{"key":"7_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-00609-8_17","volume-title":"New Frontiers in Artificial Intelligence","author":"D. Bekki","year":"2009","unstructured":"Bekki, D.: Monads and Meta-lambda Calculus. In: Hattori, H., Kawamura, T., Id\u00e9, T., Yokoo, M., Murakami, Y. (eds.) JSAI 2008. LNCS (LNAI), vol.\u00a05447, pp. 193\u2013208. Springer, Heidelberg (2009)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a Montegovian account of dynamics. In: Proceedings of Semantics and Linguistic Theory XVI (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"7_CR5","unstructured":"de Groote, P., Lebedeva, E.: Presupposition accommodation as exception handling. In: Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue, SIGDIAL 2010, pp. 71\u201374 (2010)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy\u00a014(1), 39\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"7_CR7","unstructured":"Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst (1982)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Lewis, D.: Adverbs of quantification. In: Keenan, E. (ed.) Formal Semantics of Natural Language, pp. 3\u201315. Cambridge University Press (1975)","DOI":"10.1017\/CBO9780511897696.003"},{"key":"7_CR9","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Symposium on Logic in Computer Science, Asilomar, California. IEEE (June 1989)"},{"key":"7_CR10","unstructured":"Ogata, N.: Towards computational non-associative lambek lambda-calculi for formal pragmatics. In: Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, pp. 79\u2013102 (2008)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01050634","volume":"2","author":"P. Pagin","year":"1993","unstructured":"Pagin, P., Westerst\u00e5hl, D.: Predicate logic with flexibly binding operators and natural language semantics. Journal of Logic, Language and Information\u00a02(2), 89\u2013128 (1993)","journal-title":"Journal of Logic, Language and Information"},{"key":"7_CR12","unstructured":"Shan, C.-C.: Monads for natural language semantics. In: Striegnitz, K. (ed.) Proceedings of the 2001 European Summer School in Logic, Language and Information Student Session, pp. 285\u2013298 (2002)"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: Comprehending monads. Mathematical Structures in Computer Science\u00a02(4), 461\u2013493 (1992)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32090-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:55Z","timestamp":1620129295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32090-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320897","9783642320903"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32090-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}