RZ

swMATH8944MaRDI QIDQ20940

No author found.

Described by source

• RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Related Items (5)

Unnamed Item ⋮ Implementing Real Numbers With RZ ⋮ RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice ⋮ A constructive theory of continuous domains suitable for implementation ⋮ Realisability and adequacy for (co)induction

This page was built for software: RZ