Stone duality for stable functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 530 LNCS, Issue , 1991, Pages 1-2

  Ehrhard, Thomas ^a   Malacaria, Pasquale ^a,b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345744493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0013453     Document Type: Conference Paper

References (6)

1. S. Abramsky. Domain theory in logical form. Proceedings of the second annual symposium on Logic in Computer Science, 1987.
2. G. Berry. Modèles complement adequats et stables des lambda-calculs typés. Thèse d’Etat.
3. P. Johnstone Stone Spaces. Cambridge University Press 1982.
4. A. Jung. Cartesian closed categories of domains. Dissertation, FB Mathematik der TH Darmstadt 1988.
5. S. MacLane. Categories for the working mathematician. Springer Verlag 1971.
6. G.Q. Zhang. Logics of domains. Technical report n° 185. University of Cambridge, Computer Laboratory, dec 1989.