The HOL Logic Extended with Quantification over Type Variables

Manylion Llyfryddiaeth
Prif Awdur: Melham, T
Fformat: Journal article
Cyhoeddwyd: 1994