Importing Mathematics from HOL into Nuprl”. In: (1996)

by Douglas J Howe
Venue:Theorem Proving in Higher Order Logics. Vol. 1125. LNCS.