Data types as lattices : retractions, closures and projections
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1977)
- Volume: 11, Issue: 4, page 329-344
- ISSN: 0988-3754
Access Full Article
top
How to cite
topSanchis, Luis E.. "Data types as lattices : retractions, closures and projections." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 11.4 (1977): 329-344. <http://eudml.org/doc/92060>.
@article{Sanchis1977,
author = {Sanchis, Luis E.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Data Types As Lattices; Data Structures; Lambda Calculus; Computable Function; Recursively Enumerable Set},
language = {eng},
number = {4},
pages = {329-344},
publisher = {EDP-Sciences},
title = {Data types as lattices : retractions, closures and projections},
url = {http://eudml.org/doc/92060},
volume = {11},
year = {1977},
}
TY - JOUR
AU - Sanchis, Luis E.
TI - Data types as lattices : retractions, closures and projections
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1977
PB - EDP-Sciences
VL - 11
IS - 4
SP - 329
EP - 344
LA - eng
KW - Data Types As Lattices; Data Structures; Lambda Calculus; Computable Function; Recursively Enumerable Set
UR - http://eudml.org/doc/92060
ER -
References
top- 1. P. CRAWLEY, The Isomorphism Theorem in Compactly Generated Lattices, Bull. Amer. Math. Soc., 65, 1959, pp. 377-379. Zbl0094.01702MR106860
- 2. C. J. EVERETT, Closure Operators and Galois Theory in Lattices, Trans. Amer. Math. Soc., 55, 1944, pp. 514-525. Zbl0060.06205MR10556
- 3. O. ORE, Galois Connexions, Trans. Amer. Math. Soc., 55, 1944, pp. 493-513. Zbl0060.06204MR10555
- 4. J. C. REYNOLDS, Towards a Theory of Type Structure in Programming Symposium Proceedings, Lecture Notes in Computer Science 19, April 1974, pp. 408-425, Springer Verlag. Zbl0309.68016MR458988
- 5. J. C. REYNOLDS, On the Relation between Direct and Continuation Semantics, in Automata, Languages and Programming 2nd Colloquium, University of Saarbrucken, Lecture Notes in Computer Science 14, 1974, pp. 141-156, Springer Verlag. Zbl0313.68023MR443409
- 6. D. SCOTT, Continuous Lattices, in Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, pp. 96-136, Springer Verlag. Zbl0239.54006MR404073
- 7. D. SCOTT, Data Types as Lattices, S.I.A.M. Journal on Computing, 5, 1976, pp. 522-587. Zbl0337.02018MR437330
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.