@inproceedings{Melham:1993:HLE,
title = "The {HOL} Logic Extended with Quantification over Type Variables",
author = "Thomas F. Melham",
year = "1993",
booktitle = "Higher Order Logic Theorem Proving and its Applications: Proceedings of the {IFIP} {TC10}/{WG10.2} International Workshop on Higher Order Logic Theorem Proving and its Applications - {HOL} '92: {L}euven, {B}elgium, 21--24 {S}eptember 1992",
editor = "Luc J. M. Claesen and Michael J. C. Gordon",
isbn = "0-444-89880-8",
issn = "0926-5473",
pages = "3--17",
publisher = "North-Holland",
series = "IFIP Transactions A",
volume = "20",
}