The HOL Logic Extended with Quantification over Type Variables (1992)

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