The HOL logic extended with quanti cation over type variables (1993)

by T Melham
Venue:Formal Methods in System Design, 3(1{2):7{24