Paul Taylor. Subspaces in abstract Stone duality. Theory and Applications of Categories, 10(13):300-- 366, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Elementary Theory of the Category of Locally Compact Locales - Taylor (2003) Self-citation (Taylor) (Correct)
No context found.
Paul Taylor. Subspaces in abstract Stone duality. Theory and Applications of Categories, 10(13):300-- 366, 2002.
An Elementary Theory of the Category of Locally Compact Locales - Taylor (2003) Self-citation (Taylor) (Correct)
No context found.
Paul Taylor. Sober spaces and continuations. Theory and Applications of Categories, 10(12):248--299, 2002.
Sober Spaces And Continuations - Taylor (2002) Self-citation (Taylor) (Correct)
....(your continuation # from my procedure) I can tell you what ( we re going to do with your input. So computations are given in the same contravariant way as continuous functions are defined in general topology. 1.13. Remark. Since we only access values via their observations, if #[a] #[b] for all observations # : # then a = b : X. This is a Leibniz principle for values. The corresponding property for points and open subsets of a topological space is known as the T 0 separation axiom. An equality such as #[a] #[b] of two terms of type # means that one program terminates if ....
....Since we only access values via their observations, if #[a] #[b] for all observations # : # then a = b : X. This is a Leibniz principle for values. The corresponding property for points and open subsets of a topological space is known as the T 0 separation axiom. An equality such as #[a] #[b] of two terms of type # means that one program terminates if and only if the other does. This equality is not itself an observable computation, as we cannot see the programs (both) failing to terminate. 1.14. Remark. Now suppose that the system P of observations does satisfy the consistency ....
[Article contains additional citation context not shown here]
Paul Taylor. Subspaces in abstract Stone duality. Theory and Applications of Categories, 10(13):301--368, 2002.
On the call-by-value CPS transform and its semantics - Führmann, Thielecke (2003) (3 citations) (Correct)
No context found.
Paul Taylor. Sober spaces and continuations. Theory and Applications of Categories, 10, 2002.
Subspaces in Abstract Stone Duality - Taylor (2002) (Correct)
No context found.
Paul Taylor. Sober spaces and continuations. Theory and Applications of Categories, 10(12):248--300, 2002.
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