Back to Results
First PageMeta Content
Structure / Models of computation / Denotational semantics / Logic in computer science / Power domains / Continuous function / Complete partial order / Scott continuity / Function / Mathematics / Order theory / Theoretical computer science


Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University
Add to Reading List

Document Date: 2006-11-20 04:57:34

Open Document

File Size: 237,54 KB

Share Result on Facebook
UPDATE