## Thierry Coquand

*Completeness Theorems and λ-Calculus*

TLCA, 2005.

@inproceedings{TLCA-2005-Coquand, author = "Thierry Coquand", booktitle = "{Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/11417170_1", isbn = "3-540-25593-1", pages = "1--9", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Completeness Theorems and λ-Calculus}", volume = 3461, year = 2005, }