Searching for authors named "Paul Taylor" – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
Aontas: The CaberNet Technical Abstracts Service
- …Aontas: The CaberNet Technical Abstracts Service Paul Taylor October 1995 Distributed Systems…
- Add To MetaCart
-
Bibliography for Practical Foundations of Mathematics
- …a] Paul Taylor. Internal completeness of categories of domains. In David Pitt, editor, Category…
- Add To MetaCart
-
Intuitionistic Sets and Ordinals
- …Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded…
- Cited by 4 (1 self) – Add To MetaCart
-
Computably based locally compact spaces
- …Computably Based Locally Compact Spaces Paul Taylor March 7, 2006 Abstract ASD (Abstract Stone…
- Cited by 1 (1 self) – Add To MetaCart
-
Geometric And Higher Order Logic In Terms Of Abstract Stone Duality
- … ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh ABSTRACT…
- Cited by 5 (0 self) – Add To MetaCart
-
A lambda calculus for real analysis
- …A Lambda Calculus for Real Analysis Paul Taylor 30 January 2008 Abstract Abstract Stone Duality…
- Cited by 1 (0 self) – Add To MetaCart
-
Subspaces in Abstract Stone Duality
- … STONE DUALITY PAUL TAYLOR ABSTRACT. By abstract Stone duality we mean that the topology…
- Cited by 2 (2 self) – Add To MetaCart
-
Sober Spaces And Continuations
- … AND CONTINUATIONS PAUL TAYLOR ABSTRACT. A topological space is sober if it has exactly the points that are dictated…
- Cited by 5 (3 self) – Add To MetaCart
-
Transactions for Amadeus
- …, for the degree of Master of Science (Computer Science) Paul Taylor Department of Computer Science Trinity College…
- Cited by 4 (1 self) – Add To MetaCart
-
Synthesizing Intonation using the RFC Model
- …Synthesizing Intonation using the RFC Model Paul Taylor ATR Interpreting Telecommunication…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
