## A Pointfree approach to Constructive Analysis in Type Theory (1997)

### Cached

### Download Links

- [ftp.cs.chalmers.se]
- [wslc.math.ist.utl.pt]
- [www.cs.math.ist.utl.pt]
- [sqig.math.ist.utl.pt]
- DBLP

### Other Repositories/Bibliography

by
Jan Cederquist

Citations: | 7 - 0 self |