{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:25:29Z","timestamp":1774639529864,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662437414","type":"print"},{"value":"9783662437421","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43742-1_2","type":"book-chapter","created":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T21:23:10Z","timestamp":1403126590000},"page":"14-29","source":"Crossref","is-referenced-by-count":28,"title":["Representing Anaphora with Dependent Types"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Bekki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Ahn, R., Kolb, H.P.: Discourse representation meets constructive mathematics. In: Kalman, L., Polos, L. (eds.) Papers from the Second Symposium on Logic and Language (1990)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T. (eds.) Handbook of Logic in Computer Science, vol.\u00a02, pp. 117\u2013309. Oxford Science Publications (1992)","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Clark, H.H.: Bridging. In: Roger, S., L., N.W.B. (eds.) TINLAP 1975: Proceedings of the 1975 Workshop on Theoretical Issues in Natural Language Processing, pp. 169\u2013174. Association for Computational Linguistics, Stroudsburg (1975)","DOI":"10.3115\/980190.980237"},{"key":"2_CR4","unstructured":"D\u00e1vila-P\u00e9rez, R.: Semantics and Parsing in Intuitionistic Categorial Grammar. Ph.d. thesis, University of Essex (1995)"},{"key":"2_CR5","first-page":"337","volume":"11","author":"G. Evans","year":"1980","unstructured":"Evans, G.: Pronouns. Linguistic Inquiry\u00a011, 337\u2013362 (1980)","journal-title":"Linguistic Inquiry"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fox, C., Lappin, S.: Type-theoretic approach to anaphora and ellipsis. In: Recent Advances in Natural Language Processing (RANLP 2003), Borovets, Bulgaria (2003)","DOI":"10.1075\/cilt.260.03fox"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00401693","volume":"3","author":"G. Gazdar","year":"1980","unstructured":"Gazdar, G.: A cross-categorial semantics for conjunction. Linguistics and Philosophy\u00a03, 407\u2013409 (1980)","journal-title":"Linguistics and Philosophy"},{"key":"2_CR8","volume-title":"Reference and Generality: An Examination of Some Medieval and Modern Theories","author":"P. Geach","year":"1962","unstructured":"Geach, P.: Reference and Generality: An Examination of Some Medieval and Modern Theories. Cornell University Press, Ithaca (1962)"},{"key":"2_CR9","volume-title":"Presuppositions and pronouns","author":"B. Geurts","year":"1999","unstructured":"Geurts, B.: Presuppositions and pronouns. Elsevier, Oxford (1999)"},{"key":"2_CR10","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, 39\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a montagovian account of dynamics. In: Gibson, M., Howell, J. (eds.) 16th Semantics and Linguistic Theory Conference (SALT16), pp. 148\u2013155. CLC Publications, University of Tokyo (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"2_CR12","first-page":"29","volume":"146","author":"J.R. Hindley","year":"1969","unstructured":"Hindley, J.R.: The principal type-scheme of an object in combinatory logic. Transactions of the American Mathematical Society\u00a0146, 29\u201360 (1969)","journal-title":"Transactions of the American Mathematical Society"},{"key":"2_CR13","unstructured":"Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J., Janssen, T.M., Stokhof, M. (eds.) Formal Methods in the Study of Language, Amsterdam (1981)"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1163\/9789004368859_021","volume-title":"Syntax and Semantics 7: Notes from the Linguistic Underground","author":"L. Karttunen","year":"1976","unstructured":"Karttunen, L.: Discourse referents. In: McCawley, J.D. (ed.) Syntax and Semantics 7: Notes from the Linguistic Underground, vol.\u00a07, pp. 363\u2013385. Academic Press, New York (1976)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Krahmer, E., Piwek, P.: Presupposition projection as proof construction. In: Bunt, H., Muskens, R. (eds.) Computing Meanings: Current Issues in Computational Semantics. Kluwer Academic Publishers, Dordrecht (1999)","DOI":"10.1007\/978-94-011-4231-1_14"},{"key":"2_CR16","volume-title":"Edinburgh Conference on Computational Logic and Natural Language Processing","author":"P. Krause","year":"1995","unstructured":"Krause, P.: Presupposition and abduction in type theory. In: Klein, E., Manandhar, S., Nutt, W., Siekman, J. (eds.) Edinburgh Conference on Computational Logic and Natural Language Processing. HCRC, Edinburgh (1995)"},{"key":"2_CR17","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory, vol.\u00a017. Bibliopolis, Naples, Italy (1984), sambin, Giovanni (ed.)"},{"key":"2_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-78197-4_20","volume-title":"New Frontiers in Artificial Intelligence","author":"K. Mineshima","year":"2008","unstructured":"Mineshima, K.: A presuppositional analysis of definite descriptions in proof theory. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol.\u00a04914, pp. 214\u2013227. Springer, Heidelberg (2008)"},{"key":"2_CR19","volume-title":"Formal Aspects of Context. Applied Logic Series","author":"P. Piwek","year":"2000","unstructured":"Piwek, P., Krahmer, E.: Presuppositions in context: Constructing bridges. In: Bonzon, P., Cavalcanti, M., Nossum, R. (eds.) Formal Aspects of Context. Applied Logic Series. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR20","volume-title":"Logics and Philosophy","author":"D. Prawitz","year":"1980","unstructured":"Prawitz, D.: Intuitionistic logic: A philosophical challenge. In: von Wright, G. (ed.) Logics and Philosophy. Martinus Nijhoff, The Hague (1980)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. Sandt van der","year":"1992","unstructured":"van der Sandt, R.: Presupposition projection as anaphora resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"2_CR23","volume-title":"The Syntactic Process (Language, Speech, and Communication)","author":"M.J. Steedman","year":"2000","unstructured":"Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic","author":"G. Sundholm","year":"1986","unstructured":"Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, pp. 471\u2013506. Kluwer, Reidel (1986)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00873254","volume":"79","author":"G. Sundholm","year":"1989","unstructured":"Sundholm, G.: Constructive generalized quantifiers. Synthese\u00a079, 1\u201312 (1989)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43742-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T21:16:33Z","timestamp":1716844593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43742-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437414","9783662437421"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43742-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}