{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:25:26Z","timestamp":1774639526974,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415777","type":"print"},{"value":"9783642415784","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41578-4_3","type":"book-chapter","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T07:53:43Z","timestamp":1381564423000},"page":"31-51","source":"Crossref","is-referenced-by-count":7,"title":["An Account of Natural Language Coordination in Type Theory with Coercive Subtyping"],"prefix":"10.1007","author":[{"given":"Stergios","family":"Chatzikyriakidis","sequence":"first","affiliation":[]},{"given":"Zhaohui","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Languages (1973)","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"3_CR2","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis (1984)"},{"key":"3_CR3","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. Oxford University Press (1990)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Luo, Z.: Computation and Reasoning: A Type Theory for Computer Science. Oxford Univ Press (1994)","DOI":"10.1093\/oso\/9780198538356.001.0001"},{"key":"3_CR5","unstructured":"The Coq Development Team: The Coq Proof Assistant Reference Manual (Version 8.3), INRIA (2010)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Luo, Z.: Type-theoretical semantics with coercive subtyping. Semantics and Linguistic Theory 20 (SALT20), Vancouver (2010)","DOI":"10.3765\/salt.v20i0.2580"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-22221-4_11","volume-title":"Logical Aspects of Computational Linguistics","author":"Z. Luo","year":"2011","unstructured":"Luo, Z.: Contextual analysis of word meanings in type-theoretical semantics. In: Pogodalla, S., Prost, J.-P. (eds.) LACL 2011. LNCS, vol.\u00a06736, pp. 159\u2013174. Springer, Heidelberg (2011)"},{"key":"3_CR9","unstructured":"Keenan, E., Faltz, L.: Logical Types for Natural Language. In: Department of Linguistics. UCLA (1978)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Bauerle, R., Schwarze, C., von Stechow, A. (eds.) Meaning, use, and Interpretation of Language. Mouton De Gruyter (1983)","DOI":"10.1515\/9783110852820.361"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Pustejovsky, J.: The Generative Lexicon. MIT (1995)","DOI":"10.7551\/mitpress\/3225.001.0001"},{"key":"3_CR12","unstructured":"Pustejovsky, J.: Meaning in Context: Mechanisms of Selection in Language. Cambridge Press (2005)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Asher, N.: Lexical Meaning in Context: a Web of Words. Cambridge University Press (2012)","DOI":"10.1017\/CBO9780511793936"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10849-009-9113-x","volume":"19","author":"C. Bassac","year":"2010","unstructured":"Bassac, C., Mery, B., Retor\u00e9, C.: Towards a type-theoretical account of lexical semantics. Journal of Logic Language and Information\u00a019, 229\u2013245 (2010)","journal-title":"Journal of Logic Language and Information"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1010648911114","volume":"27","author":"P. Callaghan","year":"2001","unstructured":"Callaghan, P., Luo, Z.: An implementation of LF with coercive subtyping and universes. Journal of Automated Reasoning\u00a027, 3\u201327 (2001)","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR16","unstructured":"The Agda proof assistant (version 2), http:\/\/appserv.cs.chalmers.se\/users\/ulfn\/wiki\/agda.php? (2008)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-31262-5_17","volume-title":"Logical Aspects of Computational Linguistics","author":"T. Xue","year":"2012","unstructured":"Xue, T., Luo, Z.: Dot-types and their implementation. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol.\u00a07351, pp. 234\u2013249. Springer, Heidelberg (2012)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Church, A.: A formulation of the simple theory of types. J. Symbolic Logic\u00a05 (1940)","DOI":"10.2307\/2266203"},{"key":"3_CR19","unstructured":"Montague, R.: Formal Philosophy. Yale University Press (1974)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-31262-5_12","volume-title":"Logical Aspects of Computational Linguistics","author":"Z. Luo","year":"2012","unstructured":"Luo, Z.: Common nouns as types. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol.\u00a07351, pp. 173\u2013185. Springer, Heidelberg (2012)"},{"key":"3_CR21","unstructured":"Geach, P.: Reference and Generality: An examination of some Medieval and Modern Theories. Cornell University Press (1962)"},{"key":"3_CR22","unstructured":"Curry, H., Feys, R.: Combinatory Logic, vol.\u00a01. North-Holland (1958)"},{"key":"3_CR23","unstructured":"Howard, W.A.: The formulae-as-types notion of construction. In: Hindley, J., Seldin, J. (eds.) To H. B. Curry: Essays on Combinatory Logic. Academic Press (1980)"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1093\/logcom\/9.1.105","volume":"9","author":"Z. Luo","year":"1999","unstructured":"Luo, Z.: Coercive subtyping. Journal of Logic and Computation\u00a09, 105\u2013130 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Luo, Z., Soloviev, S., Xue, T.: Coercive subtyping: theory and implementation (2012) (submitted manuscript)","DOI":"10.1016\/j.ic.2012.10.020"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00630896","volume":"19","author":"Y. Winter","year":"1996","unstructured":"Winter, Y.: A unified semantic treatment of singular NP coordination. Linguistics and Philosophy\u00a019, 337\u2013391 (1996)","journal-title":"Linguistics and Philosophy"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1093\/jos\/6.1.19","volume":"6","author":"J. Hoeksema","year":"1998","unstructured":"Hoeksema, J.: The semantics of non-boolean \u201cand\u201d. Journal of Semantics\u00a06, 19\u201340 (1998)","journal-title":"Journal of Semantics"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language. Elsevier\/Mit press (1997)","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Morril, G.: Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers (1994)","DOI":"10.1007\/978-94-011-1042-6"},{"key":"3_CR30","unstructured":"Horn, L.: A Natural History of Negation. University of Chicago Press (1989)"},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1163\/9780080462608_006","volume-title":"Where Semantics Meets Pragmatics","author":"L. Horn","year":"2006","unstructured":"Horn, L.: The border wars: a neo-Gricean perspective. In: von Heusinger, K., Turner, K. (eds.) Where Semantics Meets Pragmatics, pp. 21\u201346. Elsevier, Amsterdam (2006)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Geurts, B.: Quantity Implicatures. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511975158"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Winter, Y.: Flexibility Principles in Boolean Semantics. MIT Press, New York (2002)","DOI":"10.7551\/mitpress\/3034.001.0001"},{"key":"3_CR34","unstructured":"Boldini, P.: The reference of mass terms from a type-theoretical point of view. In: Paper from the 4th International Workshop on Computational Semantics (2001)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic III: Alternatives to Classical Logic. Reidel (1986)","DOI":"10.1007\/978-94-009-5203-4_8"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"83","DOI":"10.4000\/rlv.2082","volume":"41","author":"C. Retor\u00e9","year":"2012","unstructured":"Retor\u00e9, C.: Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by \u2018most\u2019. Recherches Linguistiques de Vincennes\u00a041, 83\u2013102 (2012)","journal-title":"Recherches Linguistiques de Vincennes"}],"container-title":["Lecture Notes in Computer Science","Constraint Solving and Language Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41578-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T16:51:23Z","timestamp":1746031883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41578-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415777","9783642415784"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41578-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}