Comparing functional paradigms for exact real-number computation (2002)

by Andrej Bauer , Martín Hötzel Escardó , Alex Simpson
Venue:in Proceedings ICALP 2002, Springer LNCS 2380
Citations:9 - 1 self

Active Bibliography

2 Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science – Dag Normann - 2006
4 On the ubiquity of certain total type structures – John Longley - 2007
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
10 Notions of computability at higher types I – John Longley - 2005
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
Domain-Theoretic Methods for Program Synthesis – Ulrich Berger
5 Comparing hierarchies of total functionals – Dag Normann - 2005
19 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
9 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
in a higher-type setting – Martín Escardó
9 A universal characterization of the closed euclidean interval, in – Martín H. Escardó - 2001
11 Infinite sets that admit fast exhaustive search – Martín Escardó - 2007
2 Fundamentals of Computing I – Viggo Stoltenberg-hansen, Viggo Stoltenberg-hansen, John V. Tucker, John V. Tucker - 1992
1 Computing with functionals - computability theory or computer science – Dag Normann - 2006
1 Sheaf Toposes for Realizability – Steven Awodey, Andrej Bauer - 2001
2 RZ: A tool for bringing constructive and computable mathematics closer to programming practice – Andrej Bauer, Christopher A. Stone - 2007
24 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
3 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
5 On the non-sequential nature of the interval-domain model of real-number computation – Martín Escardó, Martin Hofmann, Thomas Streicher