Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Chicagoスタイル(17版)引用形式Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
MLA(9版)引用形式Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
警告: この引用は必ずしも正確ではありません.