The HOL logic extended with quantification over type variables (1993)

by Thomas F. Melham
Venue:Formal Methods in System Design, 3(1--2):7--24
Citations:19 - 0 self