Continuous domains as formal spaces

Authors:
Sara Negri
Affiliations:
Department of Philosophy, P.O. Box 24, 00014 University of Helsinki, Finland. Email: negri@helsinki.fi
Venue:
Mathematical Structures in Computer Science
Year:
2002

Citing 9
Cited 3

Topology via logic

Topology via logic
Topology

Handbook of logic in computer science (vol. 1)
Mathematical theory of domains

Mathematical theory of domains
Domain theory

Handbook of logic in computer science (vol. 3)
Constructive domain theory as a branch of intuitionistic pointfree topology

Theoretical Computer Science
Representability of locally compact regular spaces by domains and formal spaces

Theoretical Computer Science
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
An Implementation of the Heine-Borel Covering Theorem in Type Theory

TYPES '96 Selected papers from the International Workshop on Types for Proofs and Programs
Continous Lattices in Formal Topology

TYPES '96 Selected papers from the International Workshop on Types for Proofs and Programs

Spatiality for formal topologies

Mathematical Structures in Computer Science
Exponentiation of Scott Formal Topologies

Electronic Notes in Theoretical Computer Science (ENTCS)
Spectral schemes as ringed lattices

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The connections between formal topology and domain theory are surveyed and various types of continuous domains are represented as formal spaces through locally Stone and locally Scott formal topologies.