Towards checking proof checkers (1993)

by Gilles Dowek, Robert Boyer
Venue:Informal Proceedings of the Nijmegen Workshop on Types for Proofs and Programs