## Frédéric Blanqui

*Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations*

CSL, 2005.

@inproceedings{CSL-2005-Blanqui, author = "Frédéric Blanqui", booktitle = "{Proceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic}", doi = "10.1007/11538363_11", isbn = "3-540-28231-9", pages = "135--150", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations}", volume = 3634, year = 2005, }