The HOL Logic Extended with Quantification over Type Variables (Formal Methods in System Design, 1994)

(untitled) - Melham, T