## Fixed points of type constructors and primitive recursion (2004)

### Cached

### Download Links

- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- DBLP

### Other Repositories/Bibliography

by
Andreas Abel
,
Ralph Matthes

Venue: | Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, volume 3210 of Lecture Notes in Computer Science |

Citations: | 7 - 3 self |