Semantic Foundations for Embedding HOL in Nuprl”. In: (1996)

by Douglas J Howe
Venue:Algebraic Methodology and Software Technology. Vol. 1101. LNCS.