Semantic Foundations for Embedding HOL in Nuprl (1996)

by Douglas J. Howe
Venue:ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY