D. Scott iDomains for denotational semantics.j Proceeding of ICALP 82, LNCS 140. Presents the notion of information systems, that can be seen as a point-free presentation of domains. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Computational Content of Classical Logic - Coquand (1996) (5 citations) (Correct)
....One of the hypotheses here was that ithe whole class of events can be well orderedj [Russell36] 4.2 Formal Topology 4.2. 1 Locales The idea of point free topology has been revived recently in the framework of locales [Stone] and, in computer science, with the notion of information systems [ML83,Scott82,Vickers89] The problem of using the Axiom of Choice in the construction of points gets in this framework a subtle partial solution, that is described by Johnstone [1981] In term of the theory of locales, it is noticed that ithe category of locales is actually more convenient in many ways than ....
D. Scott iDomains for denotational semantics.j Proceeding of ICALP 82, LNCS 140. Presents the notion of information systems, that can be seen as a point-free presentation of domains.
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