{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T22:00:24Z","timestamp":1775944824410,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540590484","type":"print"},{"value":"9783540491781","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014058","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:50:31Z","timestamp":1132732231000},"page":"266-278","source":"Crossref","is-referenced-by-count":29,"title":["A simplification of Girard's paradox"],"prefix":"10.1007","author":[{"given":"Antonius J. C.","family":"Hurkens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"18_CR1","volume-title":"Handbook of Logic in Computer Science (Vol. 2)","author":"H.P. Barendregt","year":"1992","unstructured":"Barendregt, H.P.: Typed lambda calculi, in: Handbook of Logic in Computer Science (Vol. 2), S. Abramsky et al. (editors), Clarendon Press, Oxford (1992)"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BF03015911","volume":"11","author":"C. Burali-Forti","year":"1897","unstructured":"Burali-Forti, C.: Una questione sui numeri transfiniti, Rendiconti del Circolo Matematico di Palermo\n11 (1897) 154\u2013164","journal-title":"Rendiconti del Circolo Matematico di Palermo"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01444205","volume":"49","author":"G. Cantor","year":"1897","unstructured":"Cantor, G.: Beitr\u00e4ge zur Begr\u00fcndung der transfiniten Mengenlehre, II, Mathematische Annalen\n49 (1897) 207\u2013246","journal-title":"Mathematische Annalen"},{"key":"18_CR4","first-page":"227","volume-title":"An analysis of Girard's paradox","author":"T. Coquand","year":"1986","unstructured":"Coquand, Th.: An analysis of Girard's paradox, in: Proceedings Symposium on Logic in Computer Science: Cambridge, Massachusetts, June 16\u201318, 1986, IEEE Computer Society Press, Washington, D.C. (1986) 227\u2013236"},{"key":"18_CR5","volume-title":"Logic and philosophy of science, in Uppsala: papers from the 9th international congress of logic, methodology and philosophy of science","author":"T. Coquand","year":"1994","unstructured":"Coquand, Th.: A New Paradox in Type Theory, in: Logic and philosophy of science, in Uppsala: papers from the 9th international congress of logic, methodology and philosophy of science, D. Prawitz, D. Westerstaahl (editors), Kluwer Academic Publishers, Dordrecht (1994)?-?"},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1017\/S0956796800000952","volume":"4","author":"T. Coquand","year":"1994","unstructured":"Coquand, Th., Herbelin, H.: A-translation and looping combinators in pure type systems, Journal of Functional Programming\n4 (1994) 77\u201388","journal-title":"Journal of Functional Programming"},{"key":"18_CR7","unstructured":"Geuvers, J.H.: Logics and Type Systems, Proefschrift, Katholieke Universiteit Nijmegen (1993)"},{"key":"18_CR8","first-page":"320","volume-title":"On the Church-Rosser property for Expressive Type Systems and its Consequences for their Metatheoretic Study","author":"H. Geuvers","year":"1994","unstructured":"Geuvers, H., Werner, B.: On the Church-Rosser property for Expressive Type Systems and its Consequences for their Metatheoretic Study, in: Proceedings of the Ninth Annual Symposium on Logic in Computer Science, Paris, France, IEEE Computer Society Press, Washington, D.C. (1994) 320\u2013329"},{"key":"18_CR9","unstructured":"Girard, J.-Y.: Interpr\u00e9tation fonctionnelle et \u00e9limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e9rieur, Th\u00e8se de Doctorat d'\u00c9tat, Universit\u00e9 Paris VII (1972)"},{"key":"18_CR10","first-page":"205","volume-title":"The Computational Behaviour of Girard's Paradox","author":"D.J. Howe","year":"1987","unstructured":"Howe, D.J.: The Computational Behaviour of Girard's Paradox, in: Proceedings Symposium on Logic in Computer Science: Ithaka, New York, June 22\u201325, 1987, IEEE Computer Society Press, Washington, D.C. (1987) 205\u2013214"},{"key":"18_CR11","first-page":"37","volume":"19","author":"D. Mirimanoff","year":"1917","unstructured":"Mirimanoff, D.: Les antinomies de Russell et de Burali-Forti et le probl\u00e8me fondamental de la th\u00e9orie des ensembles, L'Enseignement Math\u00e9matique\n19 (1917) 37\u201352","journal-title":"L'Enseignement Math\u00e9matique"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science 173","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","volume-title":"Semantics of Data Types","author":"J.C. Reynolds","year":"1984","unstructured":"Reynolds, J.C.: Polymorphism is not Set-Theoretic, in: Semantics of Data Types, G. Kahn et al. (editors), Lecture Notes in Computer Science 173, Springer-Verlag, Berlin Heidelberg (1984) 145\u2013156"},{"key":"18_CR13","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"Russell, B.: The Principles of Mathematics, Cambridge University Press, Cambridge, G.B. (1903)"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T10:41:02Z","timestamp":1549363262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590484","9783540491781"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0014058","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}