{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:26:16Z","timestamp":1747009576075,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662481189"},{"type":"electronic","value":"9783662481196"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48119-6_13","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"172-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Signatures in Type Theory to Represent Situations"],"prefix":"10.1007","author":[{"given":"Stergios","family":"Chatzikyriakidis","sequence":"first","affiliation":[]},{"given":"Zhaohui","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"13_CR1","unstructured":"Asher, N., Luo, Z.: Formalisation of coercions in lexical semantics. Sinn und Bedeutung 17, Paris (2012)"},{"issue":"2","key":"13_CR2","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. J. Log. Lang. Inf. 19(2), 229\u2013245 (2010)","journal-title":"J. Log. Lang. Inf."},{"issue":"2","key":"13_CR3","first-page":"1","volume":"4","author":"P Boldini","year":"2000","unstructured":"Boldini, P.: Formalizing contexts in intuitionistic type theory. Fundamenta Informaticae 4(2), 1\u201323 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-662-43742-1_4","volume-title":"Logical Aspects of Computational Linguistics","author":"S Chatzikyriakidis","year":"2014","unstructured":"Chatzikyriakidis, S.: Adverbs in a modern type theory. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 44\u201356. Springer, Heidelberg (2014)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-39998-5_10","volume-title":"Formal Grammar","author":"S Chatzikyriakidis","year":"2013","unstructured":"Chatzikyriakidis, S., Luo, Z.: Adjectives in a modern type-theoretical setting. In: Morrill, G., Nederhof, M.-J. (eds.) FG 2012 and 2013. LNCS, vol. 8036, pp. 159\u2013174. Springer, Heidelberg (2013)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.3233\/FI-2010-351","volume":"104","author":"R Dapoigny","year":"2010","unstructured":"Dapoigny, R., Barlatier, P.: Modelling contexts with dependent types. Fundamenta Informaticae 104, 293\u2013327 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR7","series-title":"Studies in linguistics and philosophy","volume-title":"Introduction to Montague Semantics","author":"DR Dowty","year":"1981","unstructured":"Dowty, D.R.: Introduction to Montague Semantics. Studies in linguistics and philosophy, vol. 11. Springer, Netherlands (1981)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. J. Assoc. Comput. Mach. 40(1), 143\u2013184 (1993)","journal-title":"J. Assoc. Comput. Mach."},{"key":"13_CR9","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-1-4020-4104-4_20","volume-title":"Meaning and Use","author":"SA Kripke","year":"1979","unstructured":"Kripke, S.A.: A puzzle about belief. In: Margalit, A. (ed.) Meaning and Use. Studies in Linguistics and Philosophy, pp. 239\u2013283. Springer, Netherlands (1979)"},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538356.001.0001","volume-title":"Computation and Reasoning: A Type Theory for Computer Science","author":"Z Luo","year":"1994","unstructured":"Luo, Z.: Computation and Reasoning: A Type Theory for Computer Science. Oxford University Press, New York (1994)"},{"issue":"1","key":"13_CR11","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. Log. Comput. 9(1), 105\u2013130 (1999)","journal-title":"J. Log. Comput."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-02444-3_15","volume-title":"Types for Proofs and Programs","author":"Z Luo","year":"2009","unstructured":"Luo, Z.: Manifest fields and module mechanisms in intensional type theory. In: Berardi, S., Damiani, F., de\u2019Liguoro, U. (eds.) TYPES 2008. LNCS, vol. 5497, pp. 237\u2013255. Springer, Heidelberg (2009)"},{"key":"13_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"},{"issue":"6","key":"13_CR14","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10988-013-9126-4","volume":"35","author":"Z Luo","year":"2012","unstructured":"Luo, Z.: Formal semantics in modern type theories with coercive subtyping. Linguist. Philos. 35(6), 491\u2013513 (2012)","journal-title":"Linguist. Philos."},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-662-43742-1_14","volume-title":"Logical Aspects of Computational Linguistics","author":"Z Luo","year":"2014","unstructured":"Luo, Z.: Formal Semantics in modern type theories: is it model-theoretic, proof-theoretic, or both? In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 177\u2013188. Springer, Heidelberg (2014)"},{"key":"13_CR16","unstructured":"Luo, Z., Part, F.: Subtyping in type theory: coercion contexts and local coercions (extended abstract). In: TYPES 2013, Toulouse (2013)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.ic.2012.10.020","volume":"223","author":"Z Luo","year":"2012","unstructured":"Luo, Z., Soloviev, S., Xue, T.: Coercive subtyping: theory and implementation. Inf. Comput. 223, 18\u201342 (2012)","journal-title":"Inf. Comput."},{"key":"13_CR18","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Languages","author":"R Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Languages. Synthese Library, vol. 49, pp. 221\u2013242. Springer, Netherlands (1973)"},{"key":"13_CR19","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction","author":"B Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. Oxford University Press, New York (1990)"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1093\/jos\/12.2.109","volume":"12","author":"G Nunberg","year":"1995","unstructured":"Nunberg, G.: Transfers of meaning. J. Seman. 12(2), 109\u2013132 (1995)","journal-title":"J. Seman."},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-69937-8_24","volume-title":"Logic, Language, Information and Computation","author":"C Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensional questions. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 272\u2013285. Springer, Heidelberg (2008)"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensions. J. Log. Comput. 18(2), 257\u2013282 (2008)","journal-title":"J. Log. Comput."},{"key":"13_CR23","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"13_CR24","volume-title":"Semantics","author":"J Saeed","year":"1997","unstructured":"Saeed, J.: Semantics. Wiley-Blackwell, Malden (1997)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48119-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T18:08:23Z","timestamp":1718042903000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}