Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Cita Chicago (17th ed.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Cita MLA (9th ed.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Atenció: Aquestes cites poden no estar 100% correctes.