## Mechanizing Coinduction and Corecursion in Higher-order Logic (1997)

### Cached

### Download Links

- [ftp.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Lawrence C. Paulson

Venue: | Journal of Logic and Computation |

Citations: | 41 - 5 self |