{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T09:43:59Z","timestamp":1648547039753},"reference-count":11,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1992]]},"DOI":"10.1051\/ita\/1992260100591","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T10:18:40Z","timestamp":1486030720000},"page":"59-91","source":"Crossref","is-referenced-by-count":2,"title":["R\u00e9tractions et interpr\u00e9tation interne du polymorphisme : le probl\u00e8me de la r\u00e9traction universelle"],"prefix":"10.1051","volume":"26","author":[{"given":"C.","family":"Berline","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. AMADIO R., BRUCE K. et LONGO G., The Finitary Projection Model for 2nd Order \u03bb-Calculus, IEEE Conference on Logic in Computer science, Boston, juin 1986."},{"key":"R2","unstructured":"2. AMADIO R. et LONGO G., Type-Free Compiling of Parametric Types, Formal Description of Programming Concepts III, M. WIRSING \u00e9d., Elsevier Science Publishers, I.F.I.P., 1987, p. 337-398."},{"key":"R3","unstructured":"3. BARENDREGT H., The \u03bb-Calculus, its Syntax and Semantics, revised edition, North Holland, 1984.0551.03007774952"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. BERARDI S., Retractions on dI-Domains as a Model for Type: Type, Inform. and Comput., 1991, 94, p. 204-231.11275330728.68036","DOI":"10.1016\/0890-5401(91)90038-4"},{"key":"R5","unstructured":"5. BERRY G., Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des \u03bb-calculs typ\u00e9s, Th\u00e8se d'\u00c9tat, Universit\u00e9 Paris-VII, 1979."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. GIRARD J. Y., The System F of Variable Types Fifteen Years Later, Theoret. Comput. Sci., 1986, 45, p. 159-192.8672810623.03013","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"R7","unstructured":"7. KRIVINE J. L., \u03bb-Calcul: Types et Mod\u00e8les, Masson, Paris, 1990.0697.030041162977"},{"key":"R8","unstructured":"8. MCCRACKEN N., An Investigation of a Programming Language with a Polymorphic Type Structure, Ph. D. Thesis, Syracuse University, 1979."},{"key":"R9","unstructured":"9. MCCRACKEN N., A Finitary Retract Model for the Polymorphic \u03bb-Calculus, 1984, unpublished."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. SCOTT D., Data Types as Lattices, S.I.A.M. J. Comput., 1976, 5, p. 522-587.4373300337.02018","DOI":"10.1137\/0205037"},{"key":"R11","unstructured":"11. SCOTT D., A Space of Retracts, manuscript, 1980."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260100591\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T02:02:00Z","timestamp":1568772120000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260100591"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":11,"journal-issue":{"issue":"1"},"alternative-id":["ita1992260100591"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1992260100591","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}