The following pages link to Thomas Anberrée (Q2843993):
Displayed 5 items.
- First-order universality for real programs (Q2843994) (← links)
- Semantical proofs of correctness for programs performing non-deterministic tests on real numbers (Q3060187) (← links)
- A Denotational Semantics for Total Correctness of Sequential Exact Real Programs (Q3502663) (← links)
- First-Order Universality for Real Programs (Q3576032) (← links)
- On the Non-sequential Nature of Domain Models of Real-number Computation (Q5262928) (← links)