乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:00Z","timestamp":1725902640858},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_15","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T11:24:53Z","timestamp":1498649093000},"page":"216-228","source":"Crossref","is-referenced-by-count":5,"title":["Dependent Event Types"],"prefix":"10.1007","author":[{"given":"Zhaohui","family":"Luo","sequence":"first","affiliation":[]},{"given":"Sergei","family":"Soloviev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"unstructured":"Asher, N., Luo, Z.: Formalisation of coercions in lexical semantics. In: Sinn und Bedeutung, vol. 17, Paris (2012)","key":"15_CR1"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10988-014-9162-8","volume":"38","author":"L Champollion","year":"2015","unstructured":"Champollion, L.: The interaction of compositional semantics and event semantics. Linguist. Philos. 38, 31\u201366 (2015)","journal-title":"Linguist. Philos."},{"volume-title":"Modern Perspectives in Type-Theoretical Semantics","year":"2017","unstructured":"Chatzikyriakidis, S., Luo, Z. (eds.): Modern Perspectives in Type-Theoretical Semantics. Springer, Heidelberg (2017)","key":"15_CR3"},{"unstructured":"Chatzikyriakidis, S., Luo, Z.: Formal Semantics in Modern Type Theories. ISTE\/Wiley (2018, to appear)","key":"15_CR4"},{"issue":"1","key":"15_CR5","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. J. Symb. Log. 5(1), 56\u201368 (1940)","journal-title":"J. Symb. Log."},{"doi-asserted-by":"crossref","unstructured":"Davidson, D.: The logical form of action sentences. In: Rothstein, S. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)","key":"15_CR6","DOI":"10.2307\/jj.13027259.6"},{"doi-asserted-by":"crossref","unstructured":"de Groote, P., Winter, Y.: A type-logical account of quantification in event semantics. In: Logic and Engineering of Natural Language Semantics, vol. 11 (2014)","key":"15_CR7","DOI":"10.1007\/978-3-662-48119-6_5"},{"doi-asserted-by":"crossref","unstructured":"Goguen, H.: A typed operational semantics for type theory. Ph.D. thesis, University of Edinburgh (1994)","key":"15_CR8","DOI":"10.1007\/BFb0014053"},{"unstructured":"Landman, F.: Plurality. In: Lappin, S. (ed.) The Handbook of Contemporary Semantic Theory (1996)","key":"15_CR9"},{"unstructured":"Luo, Z.: A problem of adequacy: conservativity of calculus of constructions over higher-order logic. Technical report, LFCS report series ECS-LFCS-90-121, Department of Computer Science, University of Edinburgh (1990)","key":"15_CR10"},{"key":"15_CR11","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, Oxford (1994)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-63172-0_45","volume-title":"Computer Science Logic","author":"Z Luo","year":"1997","unstructured":"Luo, Z.: Coercive subtyping in type theory. In: Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol. 1258, pp. 275\u2013296. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63172-0_45"},{"issue":"6","key":"15_CR13","doi-asserted-by":"crossref","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":"15_CR14","doi-asserted-by":"crossref","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":"15_CR15","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Berkeley (1984)"},{"key":"15_CR16","volume-title":"Formal Philosophy","author":"R Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy. Yale University Press, New Haven (1974). Collected papers Ed. by R. Thomason"},{"key":"15_CR17","volume-title":"Events in the Semantics of English","author":"T Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English. MIT Press, Cambridge (1990)"},{"key":"15_CR18","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"15_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139042864","volume-title":"Arguments in Syntax and Semantics","author":"A Williams","year":"2015","unstructured":"Williams, A.: Arguments in Syntax and Semantics. Cambridge University Press, Cambridge (2015)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-23211-4_11","volume-title":"The Mathematics of Language","author":"Y Winter","year":"2011","unstructured":"Winter, Y., Zwarts, J.: Event semantics and abstract categorial grammar. In: Kanazawa, M., Kornai, A., Kracht, M., Seki, H. (eds.) MOL 2011. LNCS (LNAI), vol. 6878, pp. 174\u2013191. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23211-4_11"},{"unstructured":"Xue, T.: Theory and implementation of coercive subtyping. Ph.D. thesis, Royal Holloway, University of London (2013)","key":"15_CR21"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T01:32:10Z","timestamp":1719279130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}