Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,145,157 papers from all fields of science
Search
Sign In
Create Free Account
Computable topology
Computable topology is a discipline in mathematics that studies the topological and algebraic structure of computation. Computable topology is not to…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
14 relations
Beta normal form
Böhm tree
Church–Turing thesis
Combinatory logic
Expand
Broader (2)
Computational complexity theory
Computational science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Quantitative domains via fuzzy sets: Part II: Fuzzy Scott topology on fuzzy directed-complete posets
W. Yao
,
F. Shi
Fuzzy Sets Syst.
2011
Corpus ID: 207723580
Highly Cited
2009
Highly Cited
2009
Elementary Computable Topology
K. Weihrauch
,
Tanja Grubba
J. Univers. Comput. Sci.
2009
Corpus ID: 8155955
We revise and extend the foundation of computable topology in the frame- work of Type-2 theory of effectivity, TTE, where…
Expand
2008
2008
Weak Topology and a Differentiable Operator for Lipschitz Maps
A. Edalat
23rd Annual IEEE Symposium on Logic in Computer…
2008
Corpus ID: 5899217
We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology…
Expand
2002
2002
Topología de Scott para relaciones de preorden
L. Acosta
,
I. M. Rubio
2002
Corpus ID: 118276269
Se extiende la definicion de topologia de Scott al contexto de las relaciones de preorden, para lo cual se generalizan los…
Expand
2002
2002
Remarks on the sobriety of Scott topology and weak topology on posets
He Wei
,
Jiang Shou-li
2002
Corpus ID: 2023358
We give some necessary and sufficient conditions for the Scott topology on a complete lattice to be sober, and a sufficient…
Expand
2001
2001
CATEGORICAL DOMAIN THEORY: SCOTT TOPOLOGY, POWERCATEGORIES, COHERENT CATEGORIES
Panagis Karazeris
2001
Corpus ID: 5150448
In the present article we continue recent work in the direction of domain theory were certain (accessible) categories are used as…
Expand
Highly Cited
2000
Highly Cited
2000
The realizability approach to computable analysis and topology
A. Bauer
,
D. Scott
2000
Corpus ID: 117208981
In this dissertation, I explore aspects of computable analysis and topology in the framework of relative realizability. The…
Expand
Highly Cited
1999
Highly Cited
1999
Approximation of Metric Spaces by Partial Metric Spaces
Reinhold Heckmann
Appl. Categorical Struct.
1999
Corpus ID: 6369770
Partial metrics are generalised metrics with non-zero self-distances. We slightly generalise Matthews' original definition of…
Expand
1997
1997
Injective spaces and the filter monad
M. Escardó
1997
Corpus ID: 1494810
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain…
Expand
Review
1997
Review
1997
Algol-like Languages
P. O'Hearn
,
R. D. Tennent
Progress in Theoretical Computer Science
1997
Corpus ID: 36639326
In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE