#### DMCA

## RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)

### Cached

### Download Links

- [www.cs.hmc.edu]
- [www.cs.hmc.edu]
- [www.cs.hmc.edu]
- [www.cs.hmc.edu]
- [math.andrej.com]
- [www.cs.hmc.edu]
- [www.cs.hmc.edu]
- [math.andrej.com]
- DBLP

### Other Repositories/Bibliography

by
Andrej Bauer
,
Christopher A. Stone

Venue: | CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS |

Citations: | 7 - 4 self |