{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T14:19:57Z","timestamp":1648563597904},"reference-count":11,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO. Inform. th\u00e9or."],"published-print":{"date-parts":[[1984]]},"DOI":"10.1051\/ita\/1984180100031","type":"journal-article","created":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T15:43:08Z","timestamp":1486395788000},"page":"3-22","source":"Crossref","is-referenced-by-count":0,"title":["Data types as algorithms"],"prefix":"10.1051","volume":"18","author":[{"given":"M. A.","family":"Nait Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. MONK J. D., Mathematical Logic, Springer, 1976.4657670354.02002","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"R2","unstructured":"2. NAIT ABDALLAH M. A., Types and approximating calculi in programming languages semantics, 3rd Workshop on Continuons Lattices, Riverside, California, 1979."},{"key":"R3","unstructured":"3. NAIT ABDALLAH M. A., Faisceaux et S\u00e9mantique des programmes, Th\u00e8se d'\u00c9tat, Paris, 1980."},{"key":"R4","unstructured":"4. NAIT ABDALLAH M. A., Sur les espaces informatiques de Nolin et Le Berre, C.R.A.S., t. 295, s\u00e9rie I, pp. 711-714.6889130501.68017"},{"key":"R5","unstructured":"5. NAIT ABDALLAH M. A., The necessity of double bundle structure in sort theory, University of Waterloo, Report CS-82-36."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. NOLIN L., Algorithmes universels, R.A.I.R.O. rouge, No. 2, 1974, pp. 5-183684700291.68016","DOI":"10.1051\/ita\/197408R100051"},{"key":"R7","unstructured":"7. NOLIN L. and LE BERRE F., Les espaces informatiques, leur existence, leurs rapports avec la logique combinatoire et les \u03bb-calculs, Revue Technique Thomson\/CSF, Vol. 13, No. 3, septembre 1981, pp. 599-633."},{"key":"R8","unstructured":"8. NOLIN L. and LE BERRE F., L'existence d'espaces informatiques, C.R.A.S., t. 292, s\u00e9rie I, pp. 499-502.6125460457.68044"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. SCOTT D., Continuous lattices, Springer LNM 274, 1972, pp. 97-136.4040730239.54006","DOI":"10.1007\/BFb0073967"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. SCOTT D., Data types as lattices, S.I.A.M. J. Comp., Vol. 5, 1976, pp. 522-587.4373300337.02018","DOI":"10.1137\/0205037"},{"key":"R11","unstructured":"11. WADSWORTH C., Semantics and pragmatics of the \u03bb-calculus, Ph. D. Thesis, Oxford, 1971."}],"container-title":["RAIRO. Informatique th\u00e9orique"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1984180100031\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:35:38Z","timestamp":1568799338000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1984180100031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"references-count":11,"journal-issue":{"issue":"1"},"alternative-id":["ita1984180100031"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1984180100031","relation":{},"ISSN":["0399-0540"],"issn-type":[{"value":"0399-0540","type":"print"}],"subject":[],"published":{"date-parts":[[1984]]}}}