A. Asperti, W. Ricciotti, Coen Sacerdoti, E. Tassi. A compact kernel for the calculus of inductive constructions. , 2009. [doi]
@article{Asperti2009,
title = {A compact kernel for the calculus of inductive constructions},
author = {A. Asperti and W. Ricciotti and Coen Sacerdoti and E. Tassi},
year = {2009},
doi = {10.1007/s12046-009-0003-3},
researchr = {https://researchr.org/publication/Asperti2009},
cites = {0},
citedby = {0},
}