The HOL logic extended with quantification over type variables (1993)

by Thomas F. Melham
Venue:Formal Methods in System Design, 3(1--2):7--24