Semantics of Exact Real Arithmetic (1997)
by
Peter John Potts
,
Abbas Edalat
,
Martín Hötzel Escardó
| Citations: | 28 - 8 self |
BibTeX
@MISC{Potts97semanticsof,
author = {Peter John Potts and Abbas Edalat and Martín Hötzel Escardó},
title = {Semantics of Exact Real Arithmetic},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coefficients into the Programming Language for Computable Functions (PCF) with products. We present two models for the extended language and show that they are computationally adequate with respect to the operational semantics.
