Computability on topological spaces via domain representations (2007)

Cached

Download Links

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

Documents Related by Co-Citation

26 Domain Representations of Topological Spaces – Jens Blanck - 2000
29 Model C of partial continuous functionals – Y L Ershov - 1977
10 Effective Domains and Admissible Domain Representations – G Hamrin - 2005
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
13 Effective Domain Representations of H(X), the space of compact subsets – Jens Blanck - 1999
33 Domain representability of metric spaces – J Blanck - 1997
98 Universal Algebra – K Meinke, J V Tucker - 1992
232 An Introduction to Computable Analysis – K Weihrauch - 2000
42 Countable functionals – S C Kleene - 1959
5 Computational Effects in Topological Domain Theory – I Battenfeld - 2006
2 A rich hierarchy of functionals of finite types (manuscript – Dag Normann - 2008
23 Recursion on the Countable Functionals – D Normann
12 Admissible Representations for Continuous Computations – M Schröder - 2002
8 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
71 Power domains and predicate transformers: A topological point of view – M B Smyth - 1983
25 Comparing cartesian closed categories of (core) compactly generated spaces – Martín Escardó, Jimmie Lawson, Alex Simpson - 2004
191 Outline of a mathematical theory of computation – D S Scott - 1970
76 Interpretation of analysis by means of constructive functionals of finite types – G Kreisel - 1959
27 Type theory via exact categories – L Birkedal, A Carboni, G Rosolini, D S Scott - 1998