The HOL Logic Extended with Quantification over Type Variables (1993)

by Thomas F. Melham
Citations:19 - 0 self