## Jorge Luis Sacchini

*Linear Sized Types in the Calculus of Constructions*

FLOPS, 2014.

@inproceedings{FLOPS-2014-Sacchini, author = "Jorge Luis Sacchini", booktitle = "{Proceedings of the 12th International Symposium on Functional and Logic Programming}", doi = "10.1007/978-3-319-07151-0_11", isbn = "978-3-319-07150-3", pages = "169--185", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Linear Sized Types in the Calculus of Constructions}", volume = 8475, year = 2014, }