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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
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
We revise and extend the foundation of computable topology in the frame- work of Type-2 theory of effectivity, TTE, where… Expand
2008
2008
  • 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
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
Se extiende la definicion de topologia de Scott al contexto de las relaciones de preorden, para lo cual se generalizan los… Expand
2002
2002
We give some necessary and sufficient conditions for the Scott topology on a complete lattice to be sober, and a sufficient… Expand
2001
2001
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
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
  • 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
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain… Expand