Skip to search formSkip to main contentSkip to account menu

Computable topology

Computable topology is a discipline in mathematics that studies the topological and algebraic structure of computation. Computable topology is not to… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… 
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… 
2002
2002
Se extiende la definicion de topologia de Scott al contexto de las relaciones de preorden, para lo cual se generalizan los… 
2002
2002
We give some necessary and sufficient conditions for the Scott topology on a complete lattice to be sober, and a sufficient… 
2001
2001
In the present article we continue recent work in the direction of domain theory were certain (accessible) categories are used as… 
Highly Cited
2000
Highly Cited
2000
In this dissertation, I explore aspects of computable analysis and topology in the framework of relative realizability. The… 
Highly Cited
1999
Highly Cited
1999
Partial metrics are generalised metrics with non-zero self-distances. We slightly generalise Matthews' original definition of… 
1997
1997
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain… 
Review
1997
Review
1997
In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two…