Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving (1997)

by H Rueß
Venue:In Proceedings of the Third International Conference on Typed Lambda Calculi and Applications