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

by Jason J. Hickey
Venue:IN 14TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Citations:12 - 7 self