## A finite axiomatization of inductive-recursive definitions (1999)

### Cached

### Download Links

- [www.cs.swan.ac.uk]
- [ftp.cs.chalmers.se]
- [www.math.uu.se]
- [www.cs.swan.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Peter Dybjer
,
Anton Setzer

Venue: | Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science |

Citations: | 42 - 14 self |