Abstract

We present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution.


keywords: real number computability, domain theory, denotational and operational semantics, abstract data types.