Importing mathematics from HOL into Nuprl (1996)

by Douglas J Howe
Venue:Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, volume 1125, of LNCS