Some points in formal topology
Top Cited Papers
- 1 August 2003
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 305 (1-3) , 347-408
- https://doi.org/10.1016/s0304-3975(02)00704-1
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Inductively generated formal topologiesAnnals of Pure and Applied Logic, 2003
- A cartesian closed category in Martin-Löf's intuitionistic type theoryTheoretical Computer Science, 2003
- Formal topologies on the set of first-order formulaeThe Journal of Symbolic Logic, 2000
- Can You Add Power-Sets to Martin-Lof's Intuitionistic Set Theory?Mathematical Logic Quarterly, 1999
- Tychonoff's theorem in the framework of formal topologiesThe Journal of Symbolic Logic, 1997
- Constructive domain theory as a branch of intuitionistic pointfree topologyTheoretical Computer Science, 1996
- Pretopologies and completeness proofsThe Journal of Symbolic Logic, 1995
- Linear logicTheoretical Computer Science, 1987
- Schizophrenia in contemporary mathematicsPublished by American Mathematical Society (AMS) ,1985
- Embedding metric spaces into CPO'sTheoretical Computer Science, 1981