Semantic foundations for embedding HOL in Nuprl (1996)

by Douglas J Howe
Venue:Algebraic Methodology and Software Technology, volume 1101 of LNCS