Importing mathematics from hol into Nuprl (1996)

by D J Howe
Venue:Ninth International Conference on Theorem Proving in Higher Order Logics TPHOL, volume 1125 of LNCS