A Note on SDT in Filter Spaces (ResearchIndex)

See this document in CiteSeerX!

A Note on SDT in Filter Spaces (1993) (Make Corrections)
Eugenio Moggi

Rate this article:

(Enter summary)
Abstract: Introduction This work was motivated by the desire to integrate Evaluation Logic EL T (see [Mog93]) and Synthetic Domain Theory SDT (see [Hyl91]). A first step in this direction was to consider several computational monads over the category Cpo of predomains, and check whether they preserve regular monos -- in Cpo regular monos correspond to inductive subsets. The dominion of regular monos (in a left exact category) is the simplest candidate for a LCF-like logic, where assertions are Horn... (Update)

Similar documents (at the sentence level):
21.9%: A Note on SDT in Filter Spaces - Moggi (1993) (Correct)

Active bibliography (related documents): More All
0.3: Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
0.3: A General Semantics for Evaluation Logic - Moggi (1994) (Correct)
0.0: Topological and Limit-space subcategories of Countably-based.. - Menni, Simpson (1999) (Correct)

Similar documents based on text: More All
0.4: An Extension of Models of Axiomatic Domain Theory to Models.. - Fiore, Plotkin (1997) (Correct)
0.4: The Convex Powerdomain in a Category of Posets Realized By Cpos - Simpson (1995) (Correct)
0.4: Domains in H - Fiore, Rosolini (Correct)

BibTeX entry: (Update)

@misc{ moggi-note,
  author = "Eugenio Moggi",
  title = "A Note on SDT in Filter Spaces",
  url = "citeseer.ist.psu.edu/article/moggi93note.html" }