Marcelo Fiore, et al.  Home/Search
Context Related
| cogs.susx.ac.uk/users/marcelo/...cub.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: ) Marcelo Fiore !mf@dcs.ed.ac.uk? Gordon Plotkin y !gdp@dcs.ed.ac.uk? John Power !ajp@dcs.ed.ac.uk? Department of Computer Science Laboratory for Foundations of Computer Science University of Edinburgh, The King's Buildings Edinburgh EH9 3JZ, Scotland Abstract We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the... (Update)
Context of citations to this paper: More
.... we take a step further and develop an axiomatic theory in accordance with the approach to Axiomatic Domain Theory adopted in [6, 24, 9, 10]. Conceptually, the categorical theory of domains that we put forward may be seen as the traditional theory of Smyth and Plotkin...
.... should be understood liberally enough to include generalisations of domain theory like those envisaged in axiomatic domain theory [24, 9, 11]. The use of presheaves as models for concurrency is not confined to languages expressible in Proc. For instance, following the work...
Cited by: More
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (Correct)
Computational Adequacy for Recursive Types in Models of.. - Simpson (2002) (Correct)
Presheaf Models for CCS-like Languages - Cattani, Winskel (1999) (Correct)
Similar documents (at the sentence level):
68.3%: Complete Cuboidal Sets in Axiomatic Domain Theory.. - Fiore, Plotkin, Power (1997) (Correct)
Active bibliography (related documents): More All
0.8: Domains in H - Fiore, Rosolini (Correct)
0.5: Axiomatic Domain Theory - Fiore (1995) (Correct)
0.4: Presheaf Models Concurrency - Cattani (1999) (Correct)
Similar documents based on text: More All
0.8: Enrichment and Representation Theorems for Categories of Domains.. - Fiore (1996) (Correct)
0.6: Lifting as a KZ-doctrine - Fiore (1995) (Correct)
0.4: An Extension of Models of Axiomatic Domain Theory to Models.. - Fiore, Plotkin (1997) (Correct)
Related documents from co-citation: More All
13: Axiomatic Domain Theory in Categories of Partial Maps (context) - Fiore - 1994
10: Remarks on algebraically compact categories (context) - Freyd - 1992
8: An extension of models of axiomatic domain theory to models of synthetic domain .. - Fiore, Plotkin - 1997
BibTeX entry: (Update)
M.P. Fiore, G.D. Plotkin, and A.J. Power. Complete cuboidal sets in axiomatic domain theory. In Proceedings of 12th Annual Symposium on Logic in Computer Science, 1997. http://citeseer.ist.psu.edu/article/fiore97complete.html More
@inproceedings{ fiore97complete,
author = "Marcelo P. Fiore and Gordon D. Plotkin and A. John Power",
title = "Complete Cuboidal Sets in Axiomatic Domain Theory",
booktitle = "Logic in Computer Science",
pages = "268-279",
year = "1997",
url = "citeseer.ist.psu.edu/article/fiore97complete.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
369 Information and Computation (context) - Moggi, computation - 1991
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
150 The categorytheoretic solution of recursive domain equations (context) - Smyth, Plotkin - 1982
109 Continuous lattices (context) - Scott - 1972
83 Topos Theory (context) - Johnstone - 1977
80 Handbook of Categorical Algebra (context) - Borceux - 1994
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
69 Triples and Theories (context) - Barr, Wells - 1985
65 Sheaves in Geometry and Logic: A First Introduction to Topos.. (context) - Lane, Moerdijk - 1992
59 Axiomatic Domain Theory in Categories of Partial Maps (context) - Fiore - 1996
58 Algebraically complete categories (context) - Freyd - 1991
58 A mixed linear and non-linear logic: Proofs (context) - Benton - 1995
58 Presheaf models for concurrency - Cattani, Winskel - 1996
46 Recursive types reduced to inductive types (context) - Freyd - 1990
45 New foundations for fixpoint computations: FIX-hyperdoctrine.. (context) - Crole, Pitts - 1992
42 Information and Computation (context) - Robinson, Rosolini et al. - 1988
42 Homology of higher dimensional automata - Goubault, Jensen - 1992
41 Annals of Pure and Applied Logic (context) - Jacobs, weakening - 1994
35 Locally Presentable and Accessible Categories (context) - Ad'amek, Rosick'y - 1994
31 The formal theory of monads (context) - Street - 1972
28 Continuity and Effectiveness in Topoi (context) - Rosolini - 1986
27 Higher dimensional transition systems - Cattani, Sassone - 1996
25 Recursive types in Kleisli categories - Simpson - 1992
25 A type-theoretical alternative to CUCH (context) - Scott - 1993
25 A type-theoretical alternative to CUCH (context) - Scott - 1969
24 Denotational semantics with partial functions (context) - Plotkin - 1985
23 Monads on symmetric monoidal closed categories (context) - Kock - 1970
23 An axiomatisation of computationally adequate domain-theoret.. - Fiore, Plotkin - 1994
15 Domains of higher dimensional automata - Goubault - 1993
13 Algebraic topology and distributed computing: A primer - Herlihy, Rajsbaum - 1995
13 An extension of models of axiomatic domain theory to models .. - Fiore, Plotkin - 1996
10 Algebraic completeness and compactness in an enriched settin.. (context) - Plotkin - 1995
9 Bilinearity and cartesian closed monads (context) - Kock - 1971
9 Qualitative distinctions between some toposes of generalized.. (context) - Lawvere - 1989
8 Abelian Categories: An Introduction to the Theory of Functor.. (context) - Freyd - 1964
7 accomplishments and open problems (context) - Fiore, Jung et al. - 1996
4 Lifting as a KZ-doctrine - Fiore - 1995
4 An enrichment theorem for an axiomatisation of categories of.. - Fiore - 1997
2 Enrichment and representation theorems for categories of dom.. - Fiore - 1996
1 Communication to the concurrency mailing list (context) - van Glabbeek, higher - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cogs.susx.ac.uk/users/marcelo/papers/ADT/ADT.html): More
An Enrichment Theorem for an Axiomatisation of Categories of.. - Fiore (1996) (Correct)
An Axiomatisation of Computationally Adequate Domain.. - Fiore, Plotkin (1994) (Correct)
Order-Enrichment for Categories of Partial Maps - Fiore (1993) (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