RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)

by Andrej Bauer , Christopher A. Stone
Venue:CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS
Citations:5 - 2 self

Active Bibliography

1 Sheaf Toposes for Realizability – Steven Awodey, Andrej Bauer - 2001
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
Recommended Citation – Steve Awodey, Andrej Bauer, Steven Awodey, Andrej Bauer - 2004
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
22 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
15 Comparing functional paradigms for exact real-number computation – Andrej Bauer, Martín Hötzel Escardó, Alex Simpson - 2002
6 Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability – Andrej Bauer, Alex Simpson
LOCATEDNESS AND OVERT SUBLOCALES – unknown authors - 2009
12 Notions of computability at higher types I – John Longley - 2005
2 Metric Spaces in Synthetic Topology – Andrej Bauer - 2010
41 The Realizability Approach to Computable Analysis and Topology – Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning - 2000
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
1 Abstract Specifications via Realizability – Andrej Bauer
3 Implementing real numbers with RZ – Andrej Bauer, Iztok Kavkler - 2007
Domain-Theoretic Methods for Program Synthesis – Ulrich Berger
10 Is the Mandelbrot set computable? – Peter Hertling - 2005
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
7 Theory of real computation according to EGC – Chee Yap - 2006
Comparing Realizability over Pw and K2 – Peter Lietz - 1999