Geodesic
Data types as algorithms
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) no. 1, pp. 3-22.

Voir la notice de l'article provenant de la source Numdam

@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},
     pages = {3--22},
     publisher = {EDP-Sciences},
     volume = {18},
     number = {1},
     year = {1984},
     mrnumber = {750448},
     zbl = {0569.68025},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ITA_1984__18_1_3_0/}
}
TY  - JOUR
AU  - Nait Abdallah, M. A.
TI  - Data types as algorithms
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1984
SP  - 3
EP  - 22
VL  - 18
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1984__18_1_3_0/
LA  - en
ID  - ITA_1984__18_1_3_0
ER  - 
%0 Journal Article
%A Nait Abdallah, M. A.
%T Data types as algorithms
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1984
%P 3-22
%V 18
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1984__18_1_3_0/
%G en
%F 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) no. 1, pp. 3-22. http://geodesic.mathdoc.fr/item/ITA_1984__18_1_3_0/

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

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. | Zbl | MR

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 | Zbl | MR | mathdoc-id

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. | Zbl | MR

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

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

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