Some reasons for generalising domain theory
MARTIN HYLAND
Source record
Source: Crossref
Published: Mar 25, 2010
DOI: 10.1017/s0960129509990375
Open original source ↗Source abstract
One natural way to generalise domain theory is to replace partially ordered sets by categories. This kind of generalisation has recently found application in the study of concurrency. An outline is given of the elegant mathematical foundations that have been developed. This is specialised to give a construction of cartesian closed categories of domains, which throws light on standard presentations of domain theory.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.