## Induction and recursion on the partial real line with applications to Real PCF (1997)

### Cached

### Download Links

- [www2.dcs.ed.ac.uk]
- [www.cs.bham.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.cs.bham.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Martín Hötzel Escardo
,
Thomas Streicher

Venue: | Theoretical Computer Science |

Citations: | 6 - 1 self |