Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

14 relations
Beta normal formBöhm treeChurch–Turing thesisCombinatory logic
Expand

Broader (2)

Computational complexity theoryComputational 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
This paper pursues an investigation on quantitative domains via fuzzy sets initiated by the first author. This time we define an… Expand
Highly Cited
2009
Highly Cited
2009
Elementary Computable Topology
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
2004
2004
Network deformation: traffic-aware algorithms for dynamically reducing end-to-end delay in multi-hop wireless networks
We present two centralized algorithms that dynamically deform the topology of a multi-hop wireless network in response to… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
2002
2002
Topología de Scott para relaciones de preorden
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
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
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
In this dissertation, I explore aspects of computable analysis and topology in the framework of relative realizability. The… Expand
  • figure 2.1
  • figure 5.1
  • figure 5.2
Highly Cited
1999
Highly Cited
1999
Approximation of Metric Spaces by Partial Metric Spaces
  • R. 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
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain… 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