{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:47:18Z","timestamp":1751982438556,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441206"},{"type":"electronic","value":"9783662441213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44121-3_2","type":"book-chapter","created":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T10:36:46Z","timestamp":1404988606000},"page":"15-33","source":"Crossref","is-referenced-by-count":3,"title":["Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases"],"prefix":"10.1007","author":[{"given":"Christian","family":"Retor\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Asher, N.: Lexical Meaning in context \u2013 a web of words. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511793936"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Asser, G.: Theorie der logischen auswahlfunktionen. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik (1957)","DOI":"10.1002\/malq.19570030104"},{"issue":"2","key":"2_CR3","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. Journal of Logic Language and Information\u00a019(2), 229\u2013245 (2010), http:\/\/hal.inria.fr\/inria-00408308\/","journal-title":"Journal of Logic Language and Information"},{"key":"2_CR4","unstructured":"Canty, J.T.: Zbl0327.02013: review of \u201con an extension of Hilbert\u2019s second \u03b5-theorem\u201d by T. B. Flanagan (jsl 1975)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Egli, U., von Heusinger, K.: The epsilon operator and E-type pronouns. In: Egli, U., Pause, P.E., Schwarze, C., von Stechow, A., Wienold, G. (eds.) Lexical Knowledge in the Organization of Language, pp. 121\u2013141. Benjamins (1995)","DOI":"10.1075\/cilt.114.07egl"},{"issue":"3","key":"2_CR6","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1080\/00455091.1977.10717030","volume":"7","author":"G. Evans","year":"1977","unstructured":"Evans, G.: Pronouns, quantifiers, and relative clauses (i). Canadian Journal of Philosophy\u00a07(3), 467\u2013536 (1977)","journal-title":"Canadian Journal of Philosophy"},{"key":"2_CR7","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"J.Y. Girard","year":"1971","unstructured":"Girard, J.Y.: Une extension de l\u2019interpr\u00e9tation de G\u00f6del \u00e0 l\u2019analyse et son application: l\u2019\u00e9limination des coupures dans l\u2019analyse et la th\u00e9orie des types. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium. Studies in Logic and the Foundations of Mathematics, vol.\u00a063, pp. 63\u201392. North Holland, Amsterdam (1971)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: The blind spot \u2013 lectures on logic. European Mathematical Society (2011)","DOI":"10.4171\/088"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"von Heusinger, K.: Definite descriptions and choice functions. In: Akama, S. (ed.) Logic, Language and Computation, pp. 61\u201391. Kluwer (1997)","DOI":"10.1007\/978-94-011-5638-7_4"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11168-004-0904-6","volume":"2","author":"K. Heusinger von","year":"2004","unstructured":"von Heusinger, K.: Choice functions and the anaphoric semantics of definite nps. Research on Language and Computation\u00a02, 309\u2013329 (2004)","journal-title":"Research on Language and Computation"},{"key":"2_CR11","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik, Bd. 2. Springer (1939), traduction fran\u00e7aise de F. Gaillard, E. Guillaume et M. Guillaume, L\u2019Harmattan (2001)"},{"key":"2_CR12","unstructured":"Kneale, W., Kneale, M.: The development of logic, 3rd edn. Oxford University Press (1986)"},{"key":"2_CR13","unstructured":"Leisenring, A.C.: Mathematical logic and Hilbert\u2019s \u03b5 symbol. University Mathematical Series. Mac Donald & Co. (1967)"},{"key":"2_CR14","unstructured":"de Libera, A.: La querelle des universaux de Platon \u00e0 la fin du Moyen \u00c2ge. Des travaux, Seuil (1996), http:\/\/books.google.com\/books?id=64AEAQAAIAAJ"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","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, vol.\u00a06736, pp. 159\u2013174. Springer, Heidelberg (2011)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-31262-5_12","volume-title":"Logical Aspects of Computational Linguistics","author":"Z. Luo","year":"2012","unstructured":"Luo, Z.: Common nouns as types. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol.\u00a07351, pp. 173\u2013185. Springer, Heidelberg (2012)"},{"key":"2_CR17","unstructured":"Mery, B., Moot, R., Retor\u00e9, C.: Plurals: individuals and sets in a richly typed semantics. In: Yatabe, S. (ed.) Logic and Engineering of Natural Language Semantics 10 (LENLS 10), pp. 143\u2013156, Keio University (2013) ISBN 978-4-915905-57-5"},{"key":"2_CR18","unstructured":"Mery, B., Retor\u00e9, C.: Semantic types, lexical sorts and classifiers. In: Sharp, B., Zock, M. (eds.) 10th International Workshop on Natural Language Processing and Cognitive Science. Marseilles (September 2013), http:\/\/hal.inria.fr\/hal-00916722"},{"key":"2_CR19","unstructured":"Mints, G.: Zbl0381.03042: review of \u201ccut elimination in a Gentzen-style \u03b5-calculus without identity\u201d by Linda Wessels (Z. math Logik Grundl. Math (1977))"},{"issue":"1-3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.apal.2007.11.008","volume":"152","author":"G. Mints","year":"2008","unstructured":"Mints, G.: Cut elimination for a simple formulation of epsilon calculus. Ann. Pure Appl. Logic\u00a0152(1-3), 148\u2013160 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR21","unstructured":"Moot, R.: Wide-coverage French syntax and semantics using Grail. In: Proceedings of Traitement Automatique des Langues Naturelles (TALN), Montreal (2010)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31555-8","volume-title":"The logic of categorial grammars: a deductive account of natural language syntax and semantics","author":"R. Moot","year":"2012","unstructured":"Moot, R., Retor\u00e9, C.: The Logic of Categorial Grammars. LNCS, vol.\u00a06850. Springer, Heidelberg (2012)"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s11225-006-6610-7","volume":"82","author":"G. Moser","year":"2006","unstructured":"Moser, G., Zach, R.: The epsilon calculus and herbrand complexity. Studia Logica\u00a082(1), 133\u2013155 (2006)","journal-title":"Studia Logica"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Real, L., Retor\u00e9, C.: Deverbal semantics and the Montagovian generative lexicon ${\\Lambda} \\!\\mathsf{{T}y}_n$ . Journal of Logic, Language and Information, 1\u201320 (2014), http:\/\/dx.doi.org\/10.1007\/s10849-014-9187-y","DOI":"10.1007\/s10849-014-9187-y"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.4000\/rlv.2082","volume":"41","author":"C. Retor\u00e9","year":"2012","unstructured":"Retor\u00e9, C.: Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by \u201cmost\u201d. Recherches Linguistiques de Vincennes\u00a041, 83\u2013102 (2012), http:\/\/hal.archives-ouvertes.fr\/hal-00677312","journal-title":"Recherches Linguistiques de Vincennes"},{"key":"2_CR26","unstructured":"Retor\u00e9, C.: S\u00e9mantique des d\u00e9terminants dans un cadre richement typ\u00e9. In: Morin, E., Est\u00e8ve, Y. (eds.) Traitement Automatique du Langage Naturel, TALN RECITAL 2013, vol.\u00a01, pp. 367\u2013380. ACL Anthology (2013), http:\/\/www.taln2013.org\/actes\/"},{"key":"2_CR27","series-title":"Leibniz International Proceedings in Informatics LIPIcs","volume-title":"19th International Conference on Types for Proofs and Programs (TYPES 2013)","author":"C. Retor\u00e9","year":"2014","unstructured":"Retor\u00e9, C.: The Montagovian generative lexicon \u039bTy n : a type theoretical framework for natural language semantics. In: Matthes, R., Schubert, A. (eds.) 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics LIPIcs, vol.\u00a027, Dagstuhl Publishing, Germany (2014), http:\/\/hal.archives-ouvertes.fr\/hal-00779214"},{"issue":"14","key":"2_CR28","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"56","author":"B. Russell","year":"1905","unstructured":"Russell, B.: On denoting. Mind\u00a056(14), 479\u2013493 (1905)","journal-title":"Mind"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Steedman, M.: Taking Scope: The Natural Semantics of Quantifiers. MIT Press (2012)","DOI":"10.7551\/mitpress\/9780262017077.001.0001"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44121-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T03:50:13Z","timestamp":1689393013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44121-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441206","9783662441213"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44121-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}