Sciweavers

4131 search results - page 1 / 827
» Compactness in Topology and Computation
Sort
View

Book
1902views
15 years 7 months ago
Topology Without Tears
This is beautifully written book on topology. Author has motivated the subject very nicely with lot of examples. The book covers the following topics: Topology Spaces, The Euclidea...
SIDNEY A. MORRIS
CCA
2009
Springer
14 years 3 months ago
Computability of Homology for Compact Absolute Neighbourhood Retracts
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
Pieter Collins
LMCS
2006
79views more  LMCS 2006»
13 years 8 months ago
Computably Based Locally Compact Spaces
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
Paul Taylor 0002
LICS
2005
IEEE
14 years 2 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...