{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:12:13Z","timestamp":1743153133136,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031617157"},{"type":"electronic","value":"9783031617164"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61716-4_7","type":"book-chapter","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:47:52Z","timestamp":1716954472000},"page":"111-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Variation of\u00a0Reynolds-Hurkens Paradox"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5429-5153","authenticated-orcid":false,"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,22]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","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, 56\u201368 (1940)","journal-title":"J. Symb. Log."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Coquand, T.: An analysis of Girard\u2019s paradox. In: Proceedings of the Symposium on Logic in Computer Science (LICS 1986), Cambridge, Massachusetts, USA, 16\u201318 June 1986, pp. 227\u2013236. IEEE Computer Society (1986)","DOI":"10.1016\/0010-4485(86)90142-9"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/BF01995104","volume":"32","author":"T Coquand","year":"1992","unstructured":"Coquand, T.: The paradox of trees in type theory. BIT 32(1), 10\u201314 (1992)","journal-title":"BIT"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Coquand, T.: A new paradox in type theory. In: Logic, Methodology and Philosophy of Science IX. Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, 7\u201314 August 1991, pp. 555\u2013570. North-Holland, Amsterdam (1994)","DOI":"10.1016\/S0049-237X(06)80062-5"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-52335-9_47","volume-title":"COLOG-1988","author":"T Coquand","year":"1988","unstructured":"Coquand, T., Paulin, C.: Inductively defined types. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol. 417, pp. 50\u201366. Springer, Heidelberg (1988). https:\/\/doi.org\/10.1007\/3-540-52335-9_47"},{"key":"7_CR6","unstructured":"de Bruijn, N.G.: Generalizing Automath by means of a lambda-typed lambda calculus. In: Mathematical Logic and Theoretical Computer Science. Lecture Notes in Pure and Applied Mathematics, vol. 106, pp. 71\u201392 (1987)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-74464-1_10","volume-title":"Types for proofs and programs","author":"H Geuvers","year":"2007","unstructured":"Geuvers, H.: (In)consistency of extensions of higher order logic and type theory. In: Altenkirch, T., McBride, C. (eds.) TYPES 2006. LNCS, vol. 4502, pp. 140\u2013159. Springer, Berlin (2007). https:\/\/doi.org\/10.1007\/978-3-540-74464-1_10"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/BFb0014058","volume-title":"Typed Lambda Calculi and Applications","author":"AJC Hurkens","year":"1995","unstructured":"Hurkens, A.J.C.: A simplification of Girard\u2019s paradox. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol. 902, pp. 266\u2013278. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/BFb0014058"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, A.R., Reinhold, M.B.: \u201cType\u201d is not a type. In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 287\u2013295. ACM Press (1986)","DOI":"10.1145\/512644.512671"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","volume-title":"Semantics of Data Types","author":"JC Reynolds","year":"1984","unstructured":"Reynolds, J.C.: Polymorphism is not set-theoretic. In: Kahn, G., MacQueen, D.B., Plotkin, G.D. (eds.) SDT 1984. LNCS, vol. 173, pp. 145\u2013156. Springer, Heidelberg (1984). https:\/\/doi.org\/10.1007\/3-540-13346-1_7"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1993.1037","volume":"105","author":"JC Reynolds","year":"1993","unstructured":"Reynolds, J.C., Plotkin, G.D.: On functors expressible in the polymorphic typed lambda calculus. Inf. Comput. 105(1), 1\u201329 (1993)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Logics and Type Systems in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61716-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T15:18:52Z","timestamp":1732115932000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61716-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031617157","9783031617164"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61716-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"22 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}