The HOL Logic Extended with Quantification over Type Variables
Thomas F. Melham
Book Title
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: Leuven‚ Belgium‚ 21–24 September 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
Year
1993