Thomas F. Melham. The HOL Logic Extended with Quantification over Type Variables. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 3-17, North-Holland/Elsevier, 1992.
Abstract is missing.