Data types as algorithms
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1984)
- Volume: 18, Issue: 1, page 3-22
- ISSN: 0988-3754
Access Full Article
topHow to cite
topReferences
top- 1. J. D. MONK, Mathematical Logic, Springer, 1976. Zbl0354.02002MR465767
- 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. Zbl0501.68017MR688913
- 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 Zbl0291.68016MR368470
- 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. Zbl0457.68044MR612546
- 9. D. SCOTT, Continuous lattices, Springer LNM 274, 1972, pp. 97-136. Zbl0239.54006MR404073
- 10. D. SCOTT, Data types as lattices, S.I.A.M. J. Comp., Vol. 5, 1976, pp. 522-587. Zbl0337.02018MR437330
- 11. C. WADSWORTH, Semantics and pragmatics of the λ-calculus, Ph. D. Thesis, Oxford, 1971.