Pages that link to "Item:Q1023289"
From MaRDI portal
The following pages link to A constructive theory of continuous domains suitable for implementation (Q1023289):
Displaying 9 items.
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Effective domains and concrete computability: A survey (Q2752055) (← links)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- (Q4206994) (← links)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- (Q5856423) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
- Sharp elements and apartness in domains (Q6653753) (← links)