A Denotational Semantics for Total Correctness of Sequential Exact Real Programs.

Thomas Anberre

Browse the full TAMC paper archive.