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

City

Toluca / Birmingham / /

/

IndustryTerm

trichotomy law / cotransitivity law holds / proposed solution / operational solution / /

Organization

University of Birmingham / /

Person

Ai / J. Raymundo Marcial-Romero / /

Position

representative / Corresponding author / /

ProgrammingLanguage

J / R / C / K / /

Technology

S/N / /

SocialTag