Semantic Foundations for Embedding HOL (1996)

by Douglas J Howe
Venue:in Nuprl. 5th International Conference on Algebraic Methodology and Software Technology