@article{ITA_1984__18_1_3_0, author = {Nait Abdallah, M. A.}, title = {Data types as algorithms}, journal = {RAIRO. Informatique th\'eorique}, pages = {3--22}, publisher = {EDP-Sciences}, volume = {18}, number = {1}, year = {1984}, mrnumber = {750448}, zbl = {0569.68025}, language = {en}, url = {http://archive.numdam.org/item/ITA_1984__18_1_3_0/} }
Nait Abdallah, M. A. Data types as algorithms. RAIRO. Informatique théorique, Volume 18 (1984) no. 1, pp. 3-22. http://archive.numdam.org/item/ITA_1984__18_1_3_0/
1. Mathematical Logic, Springer, 1976. | MR | Zbl
,2. Types and approximating calculi in programming languages semantics, 3rd Workshop on Continuons Lattices, Riverside, California, 1979.
,3. Faisceaux et Sémantique des programmes, Thèse d'État, Paris, 1980.
,4. Sur les espaces informatiques de Nolin et Le Berre, C.R.A.S., t. 295, série I, pp. 711-714. | MR | Zbl
,5. The necessity of double bundle structure in sort theory, University of Waterloo, Report CS-82-36.
,6. Algorithmes universels, R.A.I.R.O. rouge, No. 2, 1974, pp. 5-18 | Numdam | MR | Zbl
,7. 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.
and ,8. L'existence d'espaces informatiques, C.R.A.S., t. 292, série I, pp. 499-502. | MR | Zbl
and ,9. Continuous lattices, Springer LNM 274, 1972, pp. 97-136. | MR | Zbl
,10. Data types as lattices, S.I.A.M. J. Comp., Vol. 5, 1976, pp. 522-587. | MR | Zbl
,11. Semantics and pragmatics of the λ-calculus, Ph. D. Thesis, Oxford, 1971.
,