Lazy exact real computation

Simon Langley. Lazy exact real computation. PhD thesis, University of Bath, UK, 2005. [doi]

Abstract

Abstract is missing.