The HOL Logic Extended with Quantification over Type Variables

Thomas F. Melham. The HOL Logic Extended with Quantification over Type Variables. Formal Methods in System Design, 3(1/2):7-24, 1993.

Abstract

Abstract is missing.