## Embedding pure type systems in the lambda-Pi-calculus modulo (2007)

### Cached

### Download Links

- [www.lix.polytechnique.fr]
- [www.lix.polytechnique.fr]
- [www.lix.polytechnique.fr]
- DBLP

### Other Repositories/Bibliography

by
Denis Cousineau
,
Gilles Dowek

Venue: | TLCA |

Citations: | 34 - 9 self |