The HOL Logic Extended with Quantification over Type Variables

Détails bibliographiques
Auteur principal: Melham, T
Format: Journal article
Publié: 1994