- Abstract:
-
We discuss the standard notions of universal object and universal type, and illustrate the usefulness of these concepts via several examples from denotational semantics. The purpose of the paper is to provide a gentle introduction to these notions, and to advocate a particular point of view which makes significant use of them. The main ideas here are not new, though our expository slant is somewhat novel, and some of our examples lead to seemingly new results.
- Links To Paper
- 1st Link
- Bibtex format
- @InProceedings{EDI-INF-RR-0578,
- author = {
John Longley
},
- title = {Universal types and what they are good for},
- book title = {Proceedings of ISDT 2001 (International Symposium on Domain Theory)},
- publisher = {Kluwer},
- year = 2003,
- pages = {25-63},
- url = {http://homepages.inf.ed.ac.uk/jrl/Research/universal.pdf},
- }
|