Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky. Domain theory in logical form. Proceedings of the second annual symposium on Logic in Computer Science, 1987.
G. Berry. Modèles complètement adéquats et stables des lambda-calculs typés. Thèse d'Etat.
P. Johnstone Stone Spaces. Cambridge University Press 1982.
A. Jung. Cartesian closed categories of domains. Dissertation, FB Mathematik der TH Darmstadt 1988.
S. MacLane. Categories for the working mathematician. Springer Verlag 1971.
G.Q. Zhang. Logics of domains. Technical report no 185. University of Cambridge, Computer Laboratory, dec 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrhard, T., Malacaria, P. (1991). Stone duality for stable functions. In: Pitt, D.H., Curien, PL., Abramsky, S., Pitts, A.M., Poigné, A., Rydeheard, D.E. (eds) Category Theory and Computer Science. CTCS 1991. Lecture Notes in Computer Science, vol 530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013453
Download citation
DOI: https://doi.org/10.1007/BFb0013453
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54495-1
Online ISBN: 978-3-540-38413-7
eBook Packages: Springer Book Archive