Importing Mathematics from HOL into Nuprl

Douglas J. Howe. Importing Mathematics from HOL into Nuprl. In Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, pages 267-281, Springer, 1996.

Authors

Douglas J. Howe

This author has not been identified. Look up 'Douglas J. Howe' in Google