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

Andrej Bauer, Christopher A. Stone

Browse the full CiE paper archive.