Harald Rueß. Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. In Philippe de Groote, editor, Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings. Volume 1210 of Lecture Notes in Computer Science, pages 319-335, Springer, 1997.
@inproceedings{Ruess97,
title = {Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving},
author = {Harald Rueß},
year = {1997},
tags = {computational reflection, reflection},
researchr = {https://researchr.org/publication/Ruess97},
cites = {0},
citedby = {0},
pages = {319-335},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings},
editor = {Philippe de Groote},
volume = {1210},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62688-3},
}