This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
A. Carboni, S. Lack, and R.F.C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84, 1993.
P. Freyd and G.M. Kelly. Categories of continuous functors, i. Journal of Pure and Applied Algebra, 2, 1972.
P. Freyd. Algebraically complete categories. In A. Carboni, C. Pedicchio, and G. Rosolini, editors, Conference on Category Theory '90, volume 1488 of LNM. Springer Verlag, 1991.
P. Freyd and A. Scedrov. Categories, Allegories. North Holland, 1990.
J.M.E. Hyland. Filter spaces and continuous functionals. Annals of Mathematical Logic, 16, 1979.
J.M.E. Hyland. The effective topos. In A.S. Troelstra and D. van Dalen, editors, The L.E.J. Brouwer Centenary Symposium. North Holland, 1982.
J.M.E. Hyland. A small complete category. Annals of Pure and Applied Logic, 40, 1988.
J.M.E. Hyland. First steps in synthetic domain theory. In A. Carboni, C. Pedicchio, and G. Rosolini, editors, Conference on Category Theory '90, volume 1488 of LNM. Springer Verlag, 1991.
G. Longo and E. Moggi. Constructive natural deduction and its modest interpretation. Mathematical Structures in Computer Science, 1, 1991.
E. Moggi. A general semantics for evaluation logic. In 9th LICS Conf. IEEE, 1994.
W. Phoa. Effective domains and intrinsic structure. In 5th LICS Conf. IEEE, 1990.
W. Phoa. An introduction to fibrations, topos theory, the effective topos and modest sets. Technical Report ECS-LFCS-92-208, Edinburgh Univ., Dept. of Comp. Sci., 1992.
E. Robinson and G. Rosolini. Categories of partial maps. Information and Computation, 79(2), 1988.
A.K. Simpson. Recursive types in kleisli categories, available via FTP from theory.doc.ic.ac.uk, 1992.
P. Taylor. The fixed point property in synthetic domain theory. In 6th LICS Conf. IEEE, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hyland, J.M.E., Moggi, E. (1995). The S-replete construction. In: Pitt, D., Rydeheard, D.E., Johnstone, P. (eds) Category Theory and Computer Science. CTCS 1995. Lecture Notes in Computer Science, vol 953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60164-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-60164-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60164-7
Online ISBN: 978-3-540-44661-3
eBook Packages: Springer Book Archive