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

by Thomas F Melham
Venue:In HOL’92: Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications