## Frédéric Blanqui

*Inductive Types in the Calculus of Algebraic Constructions*

TLCA, 2003.

@inproceedings{TLCA-2003-Blanqui, author = "Frédéric Blanqui", booktitle = "{Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-44904-3_4", isbn = "3-540-40332-9", pages = "46--59", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Inductive Types in the Calculus of Algebraic Constructions}", volume = 2701, year = 2003, }