The HOL Logic Extended with Quantification over Type Variables
Thomas F. Melham
ISSN
0925−9856
Journal
Formal Methods in System Design
Number
1–2
Pages
7–24
Volume
3
Year
1994
Thomas F. Melham