{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:38:37Z","timestamp":1725982717738},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662576687"},{"type":"electronic","value":"9783662576694"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57669-4_12","type":"book-chapter","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T08:48:51Z","timestamp":1530002931000},"page":"210-222","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Handling Verb Phrase Anaphora with Dependent Types and Events"],"prefix":"10.1007","author":[{"given":"Daniyar","family":"Itegulov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Lebedeva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,27]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-662-43742-1_2","volume-title":"Logical Aspects of Computational Linguistics","author":"D Bekki","year":"2014","unstructured":"Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14\u201329. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-43742-1_2"},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M Dalrymple","year":"1991","unstructured":"Dalrymple, M., Shieber, S.M., Pereira, F.C.N.: Ellipsis and higher-order unification. Linguist. Philos. 14(4), 399\u2013452 (1991)","journal-title":"Linguist. Philos."},{"key":"12_CR3","volume-title":"The Logic of Decision and Action","author":"D Davidson","year":"1967","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)"},{"key":"12_CR4","volume-title":"Truth and Meaning: Essays in Semantics","author":"M Dummett","year":"1976","unstructured":"Dummett, M.: What is a theory of meaning? (II). In: Evans, G., McDowell, J. (eds.) Truth and Meaning: Essays in Semantics. Clarendon Press, Oxford (1976)"},{"key":"12_CR5","volume-title":"Mind and Language","author":"MAE Dummett","year":"1975","unstructured":"Dummett, M.A.E.: What is a theory of meaning? In: Guttenplan, S. (ed.) Mind and Language. Oxford University Press, Oxford (1975)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-662-55386-2_15","volume-title":"Logic, Language, Information, and Computation","author":"Z Luo","year":"2017","unstructured":"Luo, Z., Soloviev, S.: Dependent event types. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 216\u2013228. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-55386-2_15"},{"key":"12_CR7","volume-title":"Intuitionistic Type Theory. Studies in Proof Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P., Sambin, G.: Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis, Berkeley (1984)"},{"key":"12_CR8","volume-title":"Formal Philosophy; Selected Papers of Richard Montague","author":"R Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy; Selected Papers of Richard Montague. Yale University Press, New Haven (1974)"},{"key":"12_CR9","volume-title":"Events in the Semantics of English: A Study in Subatomic Semantics","author":"T Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge (1990)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-009-8820-0_1","volume-title":"Logic and Philosophy\/Logique et Philosophie","author":"D Prawitz","year":"1980","unstructured":"Prawitz, D.: Intuitionistic logic: a philosophical challenge. In: Von Wright, G.H. (ed.) Logic and Philosophy\/Logique et Philosophie, vol. 5, pp. 1\u201310. Springer, Dordrecht (1980). \nhttps:\/\/doi.org\/10.1007\/978-94-009-8820-0_1"},{"issue":"3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00985038","volume":"17","author":"H Pr\u00fcst","year":"1994","unstructured":"Pr\u00fcst, H., Scha, R., van den Berg, M.: Discourse grammar and verb phrase anaphora. Linguist. Philos. 17(3), 261\u2013327 (1994)","journal-title":"Linguist. Philos."},{"key":"12_CR12","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"12_CR13","series-title":"Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science)","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic: Volume III: Alternatives in Classical Logic","author":"G Sundholm","year":"1986","unstructured":"Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume III: Alternatives in Classical Logic. SYLI, vol. 166, pp. 471\u2013506. Springer, Dordrecht (1986). \nhttps:\/\/doi.org\/10.1007\/978-94-009-5203-4_8"},{"issue":"3","key":"12_CR14","first-page":"406","volume":"176","author":"B Taylor","year":"1986","unstructured":"Taylor, B.: Modes of occurence, verbs, adverbs and events. Revue Philosophique de la France Et de l\u2019Etranger 176(3), 406\u2013407 (1986)","journal-title":"Revue Philosophique de la France Et de l\u2019Etranger"},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2478-4","volume-title":"On the Compositional Nature of the Aspects","author":"HJ Verkuyl","year":"1972","unstructured":"Verkuyl, H.J.: On the Compositional Nature of the Aspects. D. Reidel Publishing Company, Dordrecht (1972)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57669-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T08:55:11Z","timestamp":1530003311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-57669-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662576687","9783662576694"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57669-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}