Computability on topological spaces via domain representations (2007)

Cached

Download Links

by Viggo Stoltenberg-Hansen , John V. Tucker
Citations:4 - 0 self

Active Bibliography

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
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
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
2 Effectivity of regular spaces – Jens Blanck - 2001
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
12 Domain-theoretic solution of differential equations – Abbas Edalat, Dirk Pattinson - 2006
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
6 Denotational semantics of hybrid automata – Abbas Edalat, Dirk Pattinson - 2006
1 Differential operator and weak topology for Lipschitz maps – Abbas Edalat - 2009
26 Domain Representations of Topological Spaces – Jens Blanck - 2000
3 A continuous derivative for real-valued functions – Abbas Edalat - 2008
On the calculating power of Laplace’s demon (Part I) – John Longley - 2006
41 The Realizability Approach to Computable Analysis and Topology – Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning - 2000
30 Abstract versus concrete computation on metric partial algebras – J. V. Tucker - 2004
1 Domain theoretic formulation of linear boundary value problems – Dirk Pattinson - 2005
15 Computable Banach Spaces via Domain Theory – Abbas Edalat, Philipp Sünderhauf - 1998