{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:45:13Z","timestamp":1742982313156,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_15","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T09:36:04Z","timestamp":1470389764000},"page":"257-272","source":"Crossref","is-referenced-by-count":1,"title":["Introducing a Calculus of Effects and Handlers for Natural Language Semantics"],"prefix":"10.1007","author":[{"given":"Jirka","family":"Mar\u0161\u00edk","sequence":"first","affiliation":[]},{"given":"Maxime","family":"Amblard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1022183511876","volume":"10","author":"C Barker","year":"2002","unstructured":"Barker, C.: Continuations and the nature of quantification. Nat. Lang. Semant. 10(3), 211\u2013242 (2002)","journal-title":"Nat. Lang. Semant."},{"key":"15_CR2","unstructured":"Bauer, A., Pretnar, M.: Programming with algebraic effects and handlers (2012). arXiv preprint: \narXiv:1203.1539"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Brady, E.: Programming and reasoning with algebraic effects and dependent types. In: ACM SIGPLAN Notices (2013)","DOI":"10.1145\/2500365.2500581"},{"key":"15_CR4","unstructured":"Charlow, S.: On the semantics of exceptional scope. Ph.D. thesis, New York University (2014)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards abstract categorial grammars. In: Proceedings of the 39th Annual Meeting on Association for Computational Linguistics (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"15_CR6","unstructured":"de Groote, P.: Type raising, continuations, and classical logic. In: Proceedings of the Thirteenth Amsterdam Colloquium (2001)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of SALT, vol. 16 (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"15_CR8","unstructured":"Giorgolo, G., Asudeh, A.: Natural language semantics with enriched meanings (2015)"},{"key":"15_CR9","unstructured":"de Groote, P.: On logical relations and conservativity. In: Third Workshop on Natural Language and Computer Science, NLCS 2015 (2015)"},{"issue":"3","key":"15_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0004-3702(77)90025-X","volume":"9","author":"J Hobbs","year":"1977","unstructured":"Hobbs, J., Rosenschein, S.: Making computational sense of montague\u2019s intensional logic. Artif. Intell. 9(3), 287\u2013306 (1977)","journal-title":"Artif. Intell."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Kammar, O., Lindley, S., Oury, N.: Handlers in action. In: ACM SIGPLAN Notices (2013)","DOI":"10.1145\/2500365.2500590"},{"key":"15_CR12","volume-title":"From Discourse to Logic","author":"H Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer Academic Pub, Dordrecht (1993)"},{"key":"15_CR13","unstructured":"Kiselyov, O.: Applicative abstract categorial grammars. In: Proceedings of the Third Workshop on Natural Language and Computer Science (2015)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Sabry, A., Swords, C.: Extensible effects: an alternative to monad transformers. In: ACM SIGPLAN Notices (2013)","DOI":"10.1145\/2503778.2503791"},{"key":"15_CR15","unstructured":"Kiselyov, O., Shan, C.: Lambda: the ultimate syntax-semantics interface (2010)"},{"issue":"1\u20132","key":"15_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0304-3975(93)90091-7","volume":"121","author":"JW Klop","year":"1993","unstructured":"Klop, J.W., Van Oostrom, V., Van Raamsdonk, F.: Combinatory reduction systems: introduction and survey. Theor. Comput. Sci. 121(1\u20132), 279\u2013308 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/2.1.1","volume":"2","author":"JW Klop","year":"1992","unstructured":"Klop, J.W., et al.: Term rewriting systems. Handb. Logic Comput. Sci. 2, 1\u2013116 (1992)","journal-title":"Handb. Logic Comput. Sci."},{"key":"15_CR18","unstructured":"Lebedeva, E.: Expression de la dynamique du discours \u00e0 l\u2019aide de continuations. Ph.D. thesis, Universit\u00e9 de Lorraine (2012)"},{"key":"15_CR19","unstructured":"Mar\u0161\u00edk, J., Amblard, M.: Algebraic effects and handlers in natural language interpretation. In: Natural Language and Computer Science, July 2014"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Functional Programming Languages and Computer Architecture (1991)","DOI":"10.1007\/3540543961_7"},{"issue":"1","key":"15_CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-642-00590-9_7","volume-title":"Programming Languages and Systems","author":"G Plotkin","year":"2009","unstructured":"Plotkin, G., Pretnar, M.: Handlers of algebraic effects. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 80\u201394. Springer, Heidelberg (2009)"},{"key":"15_CR23","volume-title":"The Logic of Conventional Implicatures","author":"C Potts","year":"2005","unstructured":"Potts, C.: The Logic of Conventional Implicatures. Oxford University Press, Oxford (2005)"},{"key":"15_CR24","unstructured":"Pretnar, M.: Logic and handling of algebraic effects. Ph.D. thesis, The University of Edinburgh (2010)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-22221-4_15","volume-title":"Logical Aspects of Computational Linguistics","author":"S Qian","year":"2011","unstructured":"Qian, S., Amblard, M.: Event in compositional dynamic semantics. In: Pogodalla, S., Prost, J.-P. (eds.) Logical Aspects of Computational Linguistics. LNCS, vol. 6736, pp. 219\u2013234. Springer, Heidelberg (2011)"},{"key":"15_CR26","unstructured":"Shan, C.: Monads for natural language semantics. \narXiv:cs\/0205026v1\n\n (2002)"},{"key":"15_CR27","unstructured":"Shan, C.: Linguistic side effects. Ph.D. thesis, Harvard University (2005)"},{"key":"15_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511778377","volume-title":"Computational Semantics with Functional Programming","author":"J Eijck Van","year":"2010","unstructured":"Van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press, Cambridge (2010)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992)","DOI":"10.1145\/143165.143169"}],"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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T07:09:59Z","timestamp":1517900999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}