Keywords
- Domain Theory
- Internal Logic
- Bottom Element
- Inclusion Order
- Initial Algebra
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Freyd, P. Mulry, G. Rosolini and D. S. Scott. ‘Extensional PERs.’ In: Proceedings of the 5th Annual Symposium on Logic in Computer Science (1990) 346–354.
J. M. E. Hyland. ‘A small complete category.’ Annals of Pure and Applied Logic, 40 (1988) 135–165.
J. M. E. Hyland, E. P. Robinson and G. Rosolini. ‘The discrete objects in the effective topos.’ Proc. Lond. Math. Soc. (3) 60 (1990) 1–36.
P. T. Johnstone. ‘On a topological topos.’ Proc. Lond. Math. Soc. (3) 38 (1979) 237–271.
P. T. Johnstone. 'scott is not always sober.’ In: Lecture Notes in Mathematics 871, Springer-Verlag, 1981, 282–283.
P. Mulry. ‘Generalized Banach-Mazur functionals in the topos of recursive sets.’ J. Pure and Appl. Alg. 26 (1981) 71–83.
W. Phoa. ‘Effective domains and intrinsic structure.’ In: Proceedings of the 5th Annual Symposium on Logic in Computer Science, (1990) 366–377.
W. Phoa. Domain Theory in Realizability Toposes. Ph. D. Thesis, Cambridge, 1990.
E. P. Robinson. ‘How complete is PER?’ In: Proceedings of the 4th Annual Symposium on Logic in Computer Science, (1989).
G. Rosolini. Continuity and effectiveness in topoi. D.Phil. Thesis, Oxford, 1986.
G. Rosolini. ‘Categories and effective computations.’ In: Lecture Notes in Computer Science 283, Springer-Verlag, 1987, 1–11.
T. Streicher. ‘Independence results for calculi of dependent types.’ In: Lecture Notes in Computer Science 389, Springer-Verlag, 1989, 141–154.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Hyland, J.M.E. (1991). First steps in synthetic domain theory. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084217
Download citation
DOI: https://doi.org/10.1007/BFb0084217
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive
