## Inductive Types in the Calculus of Algebraic Constructions (2005)

### Cached

### Download Links

- [hal.inria.fr]
- [arxiv.org]
- [www.loria.fr]
- DBLP

### Other Repositories/Bibliography

by
Frederic Blanqui

Citations: | 15 - 4 self |