Semantic Foundations for Embedding HOL in Nuprl

Douglas J. Howe. Semantic Foundations for Embedding HOL in Nuprl. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 85-101, Springer, 1996.

Abstract

Abstract is missing.