## Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (2003)

### Cached

### Download Links

- [www.cs.nott.ac.uk]
- [www.cs.ioc.ee]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.cs.ioc.ee]
- DBLP

### Other Repositories/Bibliography

by
Andreas Abel
,
Ralph Matthes
,
Tarmo Uustalu
,
Programmes Et Systemes

Citations: | 8 - 5 self |