The following pages link to RZ (Q20940):
Displayed 5 items.
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
- Realisability and adequacy for (co)induction (Q2917339) (← links)
- (Q3075213) (← links)
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice (Q3611720) (← links)
- Implementing Real Numbers With RZ (Q4918049) (← links)