Semantics of exact real arithmetic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 248-257

  Potts, Peter John ^a   Edalat, Abbas ^a   Escardo, Martin Hotzel ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DIGITAL ARITHMETIC; FORMAL LANGUAGES; FUNCTIONS; MATHEMATICAL TRANSFORMATIONS;

LINEAR FRACTIONAL TRANSFORMATIONS; PROGRAMING LANGUAGE FOR COMPUTABLE FUNCTIONS (PCF);

COMPUTATIONAL LINGUISTICS;

EID: 0030707452     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)