Data types as algorithms
Nait Abdallah, M. A.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984), p. 3-22 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1984-01-01
@article{ITA_1984__18_1_3_0,
     author = {Nait Abdallah, M. A.},
     title = {Data types as algorithms},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {18},
     year = {1984},
     pages = {3-22},
     mrnumber = {750448},
     zbl = {0569.68025},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1984__18_1_3_0}
}

Nait Abdallah, M. A. Data types as algorithms. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) pp. 3-22. http://gdmltest.u-ga.fr/item/ITA_1984__18_1_3_0/

1. J. D. Monk, Mathematical Logic, Springer, 1976. | MR 465767 | Zbl 0354.02002

2. M. A. Nait Abdallah, Types and approximating calculi in programming languages semantics, 3rd Workshop on Continuons Lattices, Riverside, California, 1979.

3. M. A. Nait Abdallah, Faisceaux et Sémantique des programmes, Thèse d'État, Paris, 1980.

4. M. A. Nait Abdallah, Sur les espaces informatiques de Nolin et Le Berre, C.R.A.S., t. 295, série I, pp. 711-714. | MR 688913 | Zbl 0501.68017

5. M. A. Nait Abdallah, The necessity of double bundle structure in sort theory, University of Waterloo, Report CS-82-36.

6. L. Nolin, Algorithmes universels, R.A.I.R.O. rouge, No. 2, 1974, pp. 5-18 | Numdam | MR 368470 | Zbl 0291.68016

7. L. Nolin and F. Le Berre, Les espaces informatiques, leur existence, leurs rapports avec la logique combinatoire et les λ-calculs, Revue Technique Thomson/CSF, Vol. 13, No. 3, septembre 1981, pp. 599-633.

8. L. Nolin and F. Le Berre, L'existence d'espaces informatiques, C.R.A.S., t. 292, série I, pp. 499-502. | MR 612546 | Zbl 0457.68044

9. D. Scott, Continuous lattices, Springer LNM 274, 1972, pp. 97-136. | MR 404073 | Zbl 0239.54006

10. D. Scott, Data types as lattices, S.I.A.M. J. Comp., Vol. 5, 1976, pp. 522-587. | MR 437330 | Zbl 0337.02018

11. C. Wadsworth, Semantics and pragmatics of the λ-calculus, Ph. D. Thesis, Oxford, 1971.