{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:25:27Z","timestamp":1774639527234,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_17","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"234-249","source":"Crossref","is-referenced-by-count":9,"title":["Dot-types and Their Implementation"],"prefix":"10.1007","author":[{"given":"Tao","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaohui","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"The Agda proof assistant (2008), http:\/\/appserv.cs.chalmers.se\/users\/ulfn\/wiki\/agda.php"},{"key":"17_CR2","unstructured":"Asher, N.: A type driven theory of predication with complex types. Fundamenta Infor.\u00a084(2) (2008)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511793936"},{"key":"17_CR4","unstructured":"Asher, N., Pustejovsky, J.: Word meaning and commonsense metaphysics (2005)"},{"issue":"1","key":"17_CR5","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(1), 3\u201327 (2001)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-22221-4_5","volume-title":"Logical Aspects of Computational Linguistics","author":"R. Cooper","year":"2011","unstructured":"Cooper, R.: Copredication, Quantification and Frames. In: Pogodalla, S., Prost, J.-P. (eds.) LACL 2011. LNCS (LNAI), vol.\u00a06736, pp. 64\u201379. Springer, Heidelberg (2011)"},{"key":"17_CR7","unstructured":"Cooper, R.: Copredication, dynamic generalized quantification and lexical innovation by coercion. In: Proceedings of GL 2007, the Fourth International Workshop on Generative Approaches to the Lexicon (2007)"},{"key":"17_CR8","unstructured":"The Coq Development Team: The Coq Proof Assistant Reference Manual (Version 8.1), INRIA (2007)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Coquand, T., Huet, G.: The calculus of constructions. Infor. and Computation 76(2\/3) (1988)","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"17_CR10","unstructured":"Luo, Y.: Coherence and Transitivity in Coercive Subtyping. Ph.D. thesis, University of Durham (2005)"},{"key":"17_CR11","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":"17_CR12","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":"17_CR13","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":"17_CR14","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":"17_CR15","doi-asserted-by":"crossref","unstructured":"Luo, Z., Luo, Y.: Transitivity in coercive subtyping. Infor. and Computation\u00a0197(1-2) (2005)","DOI":"10.1016\/j.ic.2004.10.008"},{"key":"17_CR16","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis (1984)"},{"key":"17_CR17","unstructured":"The Matita proof assistant (2008), http:\/\/matita.cs.unibo.it\/"},{"key":"17_CR18","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. Oxford University Press (1990)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Pustejovsky, J.: The Generative Lexicon. MIT (1995)","DOI":"10.7551\/mitpress\/3225.001.0001"},{"key":"17_CR20","unstructured":"Pustejovsky, J.: A survey of dot objects (2005) (manuscript)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Pustejovsky, J.: Mechanisms of coercion in a general theory of selection (2011)","DOI":"10.1515\/ling.2011.039"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T15:54:06Z","timestamp":1743350046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}