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:6 - 3 self

Documents Related by Co-Citation

7 From coinductive proofs to exact real arithmetic – Ulrich Berger
12 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
9 F.: Constructive analysis, types and exact real numbers – H Geuvers, M Niqui, B Spitters, Wiedijk - 2007
12 Escardo, M.H.: Semantics of a sequential language for exact real-number computation – J R Marcial-Romero - 2007
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
2 A domain model characterising strong normalisation – U Berger
49 A realizability interpretation of the theory of species – W W Tait - 1975
12 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
13 A proof of strong normalisation using domain theory РThierry Coquand, Chalmers Tekniska H̦gskola - 2006
94 Inductive Types and Type Constraints in the Second-Order Lambda Calculus – N P Mendler - 1991
67 W.: Iterated Inductive Definitions and Subsystems of Analysis – W Buchholz, F Feferman, W Pohlers, Sieg - 1981
227 Une extension de L'interpretation de Godel `a l'analyse, et son application `a l"elimination des coupures dans l'analyse et la th'eorie des types – J-Y Girard - 1971
394 LCF considered as a programming language – G D Plotkin - 1977
12 Affine functions and series with co-inductive real numbers – Y Bertot - 2007
16 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
9 Continuous functions on final coalgebras – Neil Ghani, Peter Hancock, Dirk Pattinson - 2007
29 Modal mu-calculi – Julian Bradfield, Colin Stirling - 2007
4 Hybrid Functional Interpretations – Mircea-dan Hernest, Paulo Oliva
6 Realizability interpretation of proofs in constructive analysis – Helmut Schwichtenberg - 2006