Search the dblp DataBase
Paul Taylor 0002: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Andrej Bauer, Paul Taylor 0002
The Dedekind Reals in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP]
CCA, 2005, pp:25-64 [Conf] - Paul Taylor 0002
A Lambda Calculus for Real Analysis. [Citation Graph (0, 0)][DBLP]
CCA, 2005, pp:227-266 [Conf] - Paul Taylor 0002
Internal Completeness of Categories of Domains. [Citation Graph (0, 0)][DBLP]
CTCS, 1985, pp:449-465 [Conf] - Paul Taylor 0002
Quantitative Domains, Groupoids and Linear Logic. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1989, pp:155-181 [Conf] - Paul Taylor 0002
The Fixed Point Property in Synthetic Domain Theory [Citation Graph (0, 0)][DBLP]
LICS, 1991, pp:152-160 [Conf] - Paul Taylor 0002
Local Compactness and the Baire Category Theorem in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal] - Paul Taylor 0002
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:247-296 [Journal] - Paul Taylor 0002
Intuitionistic Sets and Ordinals. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1996, v:61, n:3, pp:705-744 [Journal] - Paul Taylor 0002
Computably Based Locally Compact Spaces. [Citation Graph (0, 0)][DBLP]
Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002