Searching for "Semantics of a sequential language for exact real-number computation." – sorted by Relevance.
-
External Examiner
- a domain-based denotational semantics for a sequential language for exact real number computation
- Add To MetaCart
-
A coinductive approach to exact real number computation
- sequential language for exact real-number computation. TCS 379:120–141, 2007. P. Hancock, D. Pattinson, N
- Add To MetaCart

