{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:03:28Z","timestamp":1779174208629,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642312618","type":"print"},{"value":"9783642312625","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_12","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"173-185","source":"Crossref","is-referenced-by-count":28,"title":["Common Nouns as Types"],"prefix":"10.1007","author":[{"given":"Zhaohui","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511793936"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Baker, M.: Lexical Categories: Verbs, Nouns and Adjectives. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511615047"},{"key":"12_CR3","unstructured":"Barker, C.: Nominals don\u2019t provide criteria od identity. In: Alexiadou, A., Rathert, M. (eds.) Nominalizations across Languages and Frameworks. Intrface Explorations (2008)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Beeson, M.: Foundations of Constructive Mathematics. Springer (1985)","DOI":"10.1007\/978-3-642-68952-9"},{"key":"12_CR5","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill (1967)"},{"key":"12_CR6","unstructured":"Bunt, H.: Mass Terms and Model-Theoretic Semantics. Cambridge University Press (1985)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Church, A.: A formulation of the simple theory of types. J. Symbolic Logic\u00a05(1) (1940)","DOI":"10.2307\/2266203"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D.: Mass terms as subjects. Philosophical Studies 21(1\/2) (1970)","DOI":"10.1007\/BF00375978"},{"key":"12_CR9","unstructured":"Coquand, T.: Metamathematical investigations of a calculus of constructions. In: Oddifredi, P. (ed.) Logic and Computer Science (1990)"},{"key":"12_CR10","unstructured":"Frege, G.: Grundlagen der Arithmetik. Basil Blackwell (1884), (Translation by J. Austin in 1950: The Foundations of Arithmetic)"},{"key":"12_CR11","unstructured":"Geach, P.: Reference and Generality. Cornell University Press (1962)"},{"key":"12_CR12","unstructured":"Gupta, A.: The Logic of Common Nouns. Yale University Press (1980)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Laycock, H.: Some questions of ontology. Philosophical Review\u00a081(1) (1972)","DOI":"10.2307\/2184224"},{"key":"12_CR14","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"},{"issue":"1","key":"12_CR15","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. J. of Logic and Computation\u00a09(1), 105\u2013130 (1999)","journal-title":"J. of Logic and Computation"},{"key":"12_CR16","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":"12_CR17","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a06736, pp. 159\u2013174. Springer, Heidelberg (2011)"},{"key":"12_CR18","unstructured":"Luo, Z.: Type-theoretical semantics with coercive subtyping. Lecture notes at ESSLLI 2011 (for Lexical Semantics, a course taught together with N. Asher), Ljubljana (2011), http:\/\/www.cs.rhul.ac.uk\/home\/zhaohui\/ESSLLI11notes.pdf?"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types: predicative part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium\u201973 (1975)","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"12_CR20","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis (1984)"},{"key":"12_CR21","unstructured":"Montague, R.: Formal Philosophy. Yale University Press (1974)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Nicolas, D.: Mass nouns and plural logic. Linguistics and Philosophy\u00a031(2) (2008)","DOI":"10.1007\/s10988-008-9033-2"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Pelletier, F.: On some proposals for the semantics of mass nouns. J. of Philosophical Logic\u00a03 (1974)","DOI":"10.1007\/BF00652072"},{"key":"12_CR24","unstructured":"Quine, W.: Word & Object. MIT Press (1960)"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"key":"12_CR26","unstructured":"Strawson, P.: Individuals: An Essay in Descriptive Metaphyscis. Anchor Books (1963)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Sundholm, G.: Constructive generalized quantifiers. Synthese\u00a079(1) (1989)","DOI":"10.1007\/BF00873254"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Werner, B.: On the strength of proof-irrelevant type theories. Logical Methods in Computer Science\u00a04(3) (2008)","DOI":"10.2168\/LMCS-4(3:13)2008"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Zimmerman, D.: Theories of masses and problems of constitution. Philosophical Review\u00a0104(1) (1995)","DOI":"10.2307\/2186012"}],"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-642-31262-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T06:14:57Z","timestamp":1714025697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}