Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Lua i Stíl Chicago (17ú heag.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Lua MLA (9ú heag.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.