Streaming Representation-Changers (2004)

Cached

Download Links

by Jeremy Gibbons
Venue:LNCS
Citations:3 - 0 self

Documents Related by Co-Citation

3 Coinduction in Coq – Yves Bertot - 2005
3 Formalising exact arithmetic in type theory – Milad Niqui - 2005
5 Completing the rationals and metric spaces in LEGO – C Jones - 1992
2 A Calculator for Exact Real Number Computation. 4th year project – D Plume - 1998
2 Inverting monotone continuous functions in constructive analysis – Helmut Schwichtenberg - 2006
12 Implementing constructive real analysis: a preliminary report – J Chirimar, D J Howe - 1991
10 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
13 A term calculus for (co-)recursive definitions on streamlike data structures – W Buchholz - 2005
13 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
17 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
162 Complexity Theory of Real Functions – K-I Ko - 1991
154 Computable Analysis - An Introduction – K Weihrauch - 2000
125 System of logics based on ordinals – A M Turing - 1939
11 Certified Reasoning on Real Numbers and Objects in Coinductive Type Theory – A Ciaffaglione - 1993
2 Coinductive correctness of homographic and quadratic algorithms for exact real numbers – Milad Niqui
3 Ensuring the Productivity of Infinite Structures – Alastair Telford, David Turner - 1998
5 Realizability of monotone coinductive definitions and its application to program synthesis – M Tatsuta - 1998
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997