Logic in Computer Science (LICS 1997)

Paper: Semantics of Exact Real Arithmetic (at LICS 1997)

Authors: Peter John Potts Abbas Edalat Martin Escardo

Abstract

In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with non-negative 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.

BibTeX

  @InProceedings{PottsEdalatEscardo-SemanticsofExactRea,
    author = 	 {Peter John Potts and Abbas Edalat and Martin Escardo},
    title = 	 {Semantics of Exact Real Arithmetic},
    booktitle =  {Proceedings of the Twelfth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1997},
    year =	 1997,
    editor =	 {Glynn Winskel},
    month =	 {June}, 
    pages =      {248--257},
    location =   {Warsaw, Poland}, 
    publisher =	 {IEEE Computer Society Press}
  }