The Realizability Approach to Computable Analysis and Topology (2000)

by Andrej Bauer , Steven M. Awodey , Lenore Blum , Abbas Edalat , Frank Pfenning
Citations:34 - 16 self

Active Bibliography

3 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
2 Fundamentals of Computing I – Viggo Stoltenberg-hansen, Viggo Stoltenberg-hansen, John V. Tucker, John V. Tucker - 1992
41 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
13 Computable Banach Spaces via Domain Theory – Abbas Edalat, Philipp Sünderhauf - 1998
10 Notions of computability at higher types I – John Longley - 2005
19 Domain Representations of Topological Spaces – Jens Blanck - 2000
1 Effectivity of regular spaces – Jens Blanck - 2001
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
Motivation and Background – We Take As, Andrej Bauer
24 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
9 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
1 Computability in Computational Geometry – A. Edalat, A. A. Khanban, A. Lieutier
9 Domain Representations of Partial Functions, with Applications to Spatial Objects and Constructive Volume Geometry – J. Blanck, V. Stoltenberg-Hansen, J. V. Tucker - 2000
2 RZ: A tool for bringing constructive and computable mathematics closer to programming practice – Andrej Bauer, Christopher A. Stone - 2007
42 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
14 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
3 Basic Algorithms of Computational Geometry with Imprecise Input – Ali Asghar Khanban - 2005
Domain-Theoretic Methods for Program Synthesis – Ulrich Berger