A Two-Level Approach Towards Lean ProofChecking (1995)

by G Barthe, M Ruys, H Barendregt
Venue:In: Proc. TYPES. LNCS