{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:41:01Z","timestamp":1725579661579},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320231"},{"type":"electronic","value":"9783642320248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32024-8_18","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T07:58:00Z","timestamp":1342252680000},"page":"267-286","source":"Crossref","is-referenced-by-count":1,"title":["Resolving Plural Ambiguities by Type Reconstruction"],"prefix":"10.1007","author":[{"given":"Hans","family":"Lei\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Chaves, R.P.: DRT and underspecification of plural ambiguities. In: Bunt, H., Geertzen, J., Thijse, E. (eds.) Proceedings of the 6th IWCS, pp. 78\u201389 (2005)"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1006\/inco.1995.1141","volume":"122","author":"M. Coppo","year":"1995","unstructured":"Coppo, M., Giannini, P.: Principal types and unification for simple intersection type systems. Information and Computation\u00a0122(1), 70\u201396 (1995)","journal-title":"Information and Computation"},{"key":"18_CR3","unstructured":"Cramer, M., Schr\u00f6der, B.: Interpreting plurals in the Naproche CNL (2010), \n                    \n                      http:\/\/staff.um.edu.mt\/mros1\/cnl2010\/TALKS\/Plurals_in_Naproche.pdf"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/A:1005330227480","volume":"21","author":"M. Dalrymple","year":"1998","unstructured":"Dalrymple, M., Kanazawa, M., Kim, Y., Mchombo, S., Peters, S.: Reciprocal expressions and the concept of reciprocity. Linguistics and Philosophy\u00a021(2), 159\u2013210 (1998)","journal-title":"Linguistics and Philosophy"},{"issue":"4","key":"18_CR5","first-page":"453","volume":"3","author":"E. Franconi","year":"1993","unstructured":"Franconi, E.: A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, special issue on Knowledge Representation for Natural Language Processing\u00a03(4), 453\u2013474 (1993)","journal-title":"Minds and Machines, special issue on Knowledge Representation for Natural Language Processing"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Frank, A., Reyle, U.: Principle based semantics for HPSG. In: Proceedings of the 6th Meeting of the Association for Computational Linguistics, European Chapter, pp. 9\u201316 (1995)","DOI":"10.3115\/976973.976976"},{"key":"18_CR7","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley, 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":"18_CR8","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer (1983)"},{"key":"18_CR9","volume-title":"Boolean Semantics for Natural Language","author":"E.L. Keenan","year":"1985","unstructured":"Keenan, E.L., Faltz, L.M.: Boolean Semantics for Natural Language. D.\u00a0Reidel, Dordrecht (1985)"},{"key":"18_CR10","unstructured":"Link, G.: Algebraic Semantics for Language and Philosophy. CSLI Publications (1989)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000113","volume":"1","author":"J. Mitchell","year":"1991","unstructured":"Mitchell, J.: Type infernce with simple subtypes. Journal of Functional Programming\u00a01, 245\u2013285 (1991)","journal-title":"Journal of Functional Programming"},{"key":"18_CR12","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Thomason, R. (ed.) Formal Philosophy. Selected Papers of Richard Montague. Yale Univ. Press (1974)"},{"key":"18_CR13","unstructured":"Sabato, S., Winter, Y.: From semantic restrictions to reciprocal meanings. In: Rogers, J. (ed.) Proceedings FG-MoL 2005. 10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language. CSLI online publications (2005)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"G.S. Smith","year":"1994","unstructured":"Smith, G.S.: Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming\u00a023, 197\u2013226 (1994)","journal-title":"Science of Computer Programming"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/3-540-56610-4_98","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"J. Tiuryn","year":"1993","unstructured":"Tiuryn, J., Wand, M.: Type reconstruction with recursive types and atomic subtyping. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 686\u2013701. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32024-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:02:21Z","timestamp":1556935341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32024-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320231","9783642320248"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32024-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}