Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Universal types and what they are good for
Authors: John Longley
Date: 2003
Publication Title:Proceedings of ISDT 2001 (International Symposium on Domain Theory)
Publication Type:Conference Paper Publication Status:Published
Page Nos:25-63
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
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 = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh