{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T06:43:18Z","timestamp":1648968198108},"reference-count":7,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO. Inform. th\u00e9or."],"published-print":{"date-parts":[[1977]]},"DOI":"10.1051\/ita\/1977110403291","type":"journal-article","created":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T15:35:55Z","timestamp":1486395355000},"page":"329-344","source":"Crossref","is-referenced-by-count":8,"title":["Data types as lattices : retractions, closures and projections"],"prefix":"10.1051","volume":"11","author":[{"given":"Luis E.","family":"Sanchis","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. CRAWLEY P., The Isomorphism Theorem in Compactly Generated Lattices, Bull. Amer. Math. Soc., 65, 1959, pp. 377-379.1068600094.01702","DOI":"10.1090\/S0002-9904-1959-10384-0"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. EVERETT C. J., Closure Operators and Galois Theory in Lattices, Trans. Amer. Math. Soc., 55, 1944, pp. 514-525.105560060.06205","DOI":"10.1090\/S0002-9947-1944-0010556-9"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. ORE O., Galois Connexions, Trans. Amer. Math. Soc., 55, 1944, pp. 493-513.105550060.06204","DOI":"10.1090\/S0002-9947-1944-0010555-7"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. REYNOLDS J. C., Towards a Theory of Type Structure in Programming Symposium Proceedings, Lecture Notes in Computer Science 19, April 1974, pp. 408-425, Springer Verlag.4589880309.68016","DOI":"10.1007\/3-540-06859-7_148"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. REYNOLDS J. C., On the Relation between Direct and Continuation Semantics, in Automata, Languages and Programming 2nd Colloquium, University of Saarbrucken, Lecture Notes in Computer Science 14, 1974, pp. 141-156, Springer Verlag.4434090313.68023","DOI":"10.1007\/978-3-662-21545-6_10"},{"key":"R6","unstructured":"6.SCOTT D., Continuous Lattices, in Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, pp. 96-136, Springer Verlag.4040730239.54006"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. SCOTT D., Data Types as Lattices, S.I.A.M. Journal on Computing, 5, 1976, pp. 522-587.4373300337.02018","DOI":"10.1137\/0205037"}],"container-title":["RAIRO. Informatique th\u00e9orique"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1977110403291\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:34:04Z","timestamp":1568799244000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1977110403291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"references-count":7,"journal-issue":{"issue":"4"},"alternative-id":["ita1977110403291"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1977110403291","relation":{},"ISSN":["0399-0540"],"issn-type":[{"value":"0399-0540","type":"print"}],"subject":[],"published":{"date-parts":[[1977]]}}}