## Gérard P. Huet

*Induction Principles Formalized in the Calculus of Constructions*

TAPSOFT, 1987.

@inproceedings{AS-1987-Huet, author = "Gérard P. Huet", booktitle = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development}", doi = "10.1007/3-540-17660-8_62", isbn = "3-540-17660-8", pages = "276--286", publisher = "{Springer}", title = "{Induction Principles Formalized in the Calculus of Constructions}", year = 1987, }