## Exploring the regular tree types (2004)

### Cached

### Download Links

- [www.cs.nott.ac.uk]
- [cs.nott.ac.uk]
- [www.cs.nott.ac.uk]
- [strictlypositive.org]
- [www.strictlypositive.org]
- DBLP

### Other Repositories/Bibliography

by
Peter Morris
,
Thorsten Altenkirch
,
Conor Mcbride

Venue: | In Types for Proofs and Programs |

Citations: | 16 - 3 self |