Semantics of a sequential language for exact real-number computation
Under an Elsevier user license
open archive
Keywords
Exact real-number computation
Sequential computation
Semantics
Non-determinism
PCF
Cited by (0)
Copyright © 2007 Elsevier Ltd. All rights reserved.