A Two-Level Approach Towards Lean Proof-Checking (1995)

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