Cited in
(7)- Realisability and adequacy for (co)induction
- A constructive theory of continuous domains suitable for implementation
- RealLib
- iRRAM
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Realisability for induction and coinduction with applications to constructive analysis
- Implementing real numbers with RZ
This page was built for software: RZ
