Active Bibliography

8 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
Cantor–Weihrauch domain representations – Cup Reference, Andrew Smith, Smith Owen Associates, Jens Blanck - 2007
2 Fundamentals of Computing I – Viggo Stoltenberg-hansen, Viggo Stoltenberg-hansen, John V. Tucker, John V. Tucker - 1992
Computability on topological spaces via domain – Viggo Stoltenberg-hansen, John V. Tucker
12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES – Viggo Stoltenberg-hansen, John V. Tucker
4 Computability on topological spaces via domain representations – Viggo Stoltenberg-Hansen, John V. Tucker - 2007
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
15 Computable Banach Spaces via Domain Theory – Abbas Edalat, Philipp Sünderhauf - 1998
12 Notions of computability at higher types I – John Longley - 2005
26 Domain Representations of Topological Spaces – Jens Blanck - 2000
2 Effectivity of regular spaces – Jens Blanck - 2001
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
Motivation and Background – We Take As, Andrej Bauer
1 Computability in Computational Geometry – A. Edalat, A. A. Khanban, A. Lieutier
11 Domain Representations of Partial Functions, with Applications to Spatial Objects and Constructive Volume Geometry – J. Blanck, V. Stoltenberg-Hansen, J. V. Tucker - 2000
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
5 RZ: A tool for bringing constructive and computable mathematics closer to programming practice – Andrej Bauer, Christopher A. Stone - 2007