Marcelo P. Fiore  Home/Search
Context Related
| cogs.susx.ac.uk/users/marce...cpopk.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cogs.susx.ac.uk/users/marce...ADT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction In (Plotkin 1985) a revitalised approach to domain theory was initiated. Roughly, the idea was to eliminate the bottom from the domains and to keep the functions partially defined. Thus replacing Cppo (the category of small cppos ---posets with a least element and closed under lubs of !-chains--- and continuous functions) with pCpo (the category of small cpos ---posets closed under lubs of !-chains--- and partial continuous functions --- see Subsection 3.1). One important point in ... (Update)
Context of citations to this paper: More
.... equations, but many equations are needed to replace the usual ones (other categorical treatments of partiality make more use of order (Fiore, 1995)) Inequational weakenings of categorical notions are used by He and Hoare (1989) to classify language features and phenomena....
...of approximation aiming at explaining and justifying (order theoretic) properties of categories of domains. For example, in [Fio94c, Fio94a], while studying the interaction between partiality and order enrichment we considered contextual approximation which, in the...
Cited by: More
Lifting as a KZ-doctrine - Fiore (1995) (Correct)
A Categorical Model for Higher Order Imperative Programming - Naumann (1993) (Correct)
Representation of Relations By Partial Maps - Dong, Tholen (Correct)
Similar documents based on text: More All
0.7: An Axiomatisation of Computationally Adequate Domain.. - Fiore, Plotkin (1994) (Correct)
0.6: An Extension of Models of Axiomatic Domain Theory to Models.. - Fiore, Plotkin (1997) (Correct)
0.5: Domains in H - Fiore, Rosolini (Correct)
BibTeX entry: (Update)
Fio95 M.P. Fiore, Order-enrichment for categories of partial maps, Math. Struct. in Comp. Science, 5 (1995): 533-562. http://citeseer.ist.psu.edu/fiore93orderenrichment.html More
@article{ fiore95orderenrichment,
author = "Marcelo P. Fiore",
title = "Order-Enrichment for Categories of Partial Maps",
journal = "Mathematical Structures in Computer Science",
volume = "5",
number = "4",
pages = "533-562",
year = "1995",
url = "citeseer.ist.psu.edu/fiore93orderenrichment.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.cogs.susx.ac.uk/users/marcelo/papers/ADT/ADT.html): More
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended.. - Fiore, al. (1997) (Correct)
An Enrichment Theorem for an Axiomatisation of Categories of.. - Fiore (1996) (Correct)
An Axiomatisation of Computationally Adequate Domain.. - Fiore, Plotkin (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC