@inproceedings{FLOPS-2008-AbelCD,
author = "Andreas Abel and Thierry Coquand and Peter Dybjer",
booktitle = "{Proceedings of the Ninth International Symposium on Functional and Logic Programming}",
doi = "10.1007/978-3-540-78969-7_2",
isbn = "978-3-540-78968-0",
pages = "3--13",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory}",
volume = 4989,
year = 2008,
}

### Tags: