{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:53:42Z","timestamp":1773096822845,"version":"3.50.1"},"reference-count":11,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0304-3975(01)00379-6","type":"journal-article","created":{"date-parts":[[2002,10,28]],"date-time":"2002-10-28T12:15:47Z","timestamp":1035807347000},"page":"407-428","source":"Crossref","is-referenced-by-count":4,"title":["A full continuous model of polymorphism"],"prefix":"10.1016","volume":"290","author":[{"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Berardi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00379-6_BIB1","unstructured":"R. Amadio, K.B. Bruce, G. Longo, The finitary projection model for second-order lambda-calculus, in Logic in Computer Science, IEEE Computer Society Press, New York, 1986, pp. 122\u2013130."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB2","unstructured":"H. Barendregt, The \u03bb-calculus, its syntax and semantics, Studies in Logic, Vol. 103, revised edition, North-Holland, Amsterdam, 1984."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB3","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1016\/0890-5401(91)90038-4","article-title":"Retractions on dI-domains as a model for Type:Type","volume":"94","author":"Berardi","year":"1991","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB4","doi-asserted-by":"crossref","unstructured":"S. Berardi, Ch. Berline, Building continuous webbed models for system F, in: Proceedings of MFPS 14.","DOI":"10.1016\/S1571-0661(05)80724-8"},{"key":"10.1016\/S0304-3975(01)00379-6_BIB5","unstructured":"S. Berardi, C. Berline, \u03b2\u2013\u03b7 complete models for system F, Tech. Report Dip. di Informatica, Universit\u00e1 di Torino,1998."},{"issue":"1","key":"10.1016\/S0304-3975(01)00379-6_BIB6","first-page":"59","article-title":"R\u00e9tractions et Interpretation Interne du Polymorphisme: le Probl\u00e8me de la R\u00e9traction Universelle","volume":"26","author":"Berline","year":"1992","journal-title":"Inform. Th\u00e9orique Appl. (Theoret. Inform. Appl.)"},{"key":"10.1016\/S0304-3975(01)00379-6_BIB7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/0890-5401(90)90044-I","article-title":"The semantics of second-order lambda calculus","volume":"85","author":"Bruce","year":"1990","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB8","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0890-5401(89)90068-0","article-title":"Domain theoretic models of polymorphism","volume":"81","author":"Coquand","year":"1989","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB9","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(93)90093-9","article-title":"The genericity theorem and effective parametricity in polymorphic lambda-calculus","volume":"121","author":"Longo","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB10","unstructured":"N. McCracken, A finitary retract model for the polymorphic lambda-calculus, unpublished, 1984."},{"key":"10.1016\/S0304-3975(01)00379-6_BIB11","series-title":"Foundations for Programming Languages","author":"Mitchell","year":"1996"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003796?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003796?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T06:23:51Z","timestamp":1556864631000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501003796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0304397501003796"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00379-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}