@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",
}