Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology (original) (raw)
Related papers
Key words and phrases. Constructive set-theory, Formal topology, Scott Domains
2015
A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science, 2003
A note on domain representability and formal topology
Quotient topologies in constructive set theory and type theory
Annals of Pure and Applied Logic, 2006
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science, 1999
On binary intuitionistic points and intuitionistic neighborhood structures
From intuitionistic to point-free topology
2015
The problem of the formalization of constructive topology
Archive for Mathematical Logic, 2005
Another introduction to Martin-Löf ’ s Intuitionistic Type Theory
2004
An Elementary Theory of Various Categories of Spaces in Topology
2005
Constructive notions of set. Part I. Sets in MartinLöf type theory
Annali del Dipartimento di Filosofia, 2005
On effective topological spaces
The Journal of Symbolic Logic, 1998
Fundamenta Informaticae, 1993
Pairwise Separation Axioms in Intuitionistic Topological Spaces
2006
Stanford Encyclopedia of Philosophy, 2016
Algebraic Models of Intuitionistic Theories of Sets and Classes
2004
Towards a descriptive set theory for domain-like structures
Theoretical Computer Science, 2006
Connectedness of the continuum in intuitionistic mathematics
Mathematical Logic Quarterly
Note on Intuitionistic N-Closed Sets
2012
Intuitionistic generalized closed sets in generalized intuitionistic topological space
Malaya Journal of Matematik, 2020
IGPR-Continuity and Compactness in Intuitionistic Topological Space
APPROXIMABLE CONCEPTS, CHU SPACES, AND INFORMATION SYSTEMS
2006
Journal of Logic and Computation, 2020
Computability on Topological Spaces via Domain Representations
New Computational Paradigms, 2008
Double Intuitionistic Continuous Function in Double Intuitionistic Topological Spaces
Tikrit Journal of Pure Science
Effective operators in a topological setting
Lecture Notes in Mathematics, 2000
Journal of Symbolic Computation, 1985
Expressive power in first order topology
The Journal of Symbolic Logic, 1984
Why topology in the minimalist foundation must be pointfree
Logic and Logical Philosophy, 2013
Electronic Notes in Theoretical Computer Science, 2008
2004
arXiv (Cornell University), 2020