## 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

Venue: | Proc. of FoSSaCS 2003 |

Citations: | 8 - 5 self |