Nuprl-Light: An implementation framework for higher–order logics (1997)

by Jason J Hickey
Venue:In 14th International Conference on Automated Deduction