型论中允许实例化类型formula_1的变量为任何类型，包括参数化类型，如formula_1自身。一个例子是系统F在类型变量"X"下，类型formula_6，其中"X"可以为"T"自身。类型论中，最常被研究的非直谓有类型λ演算是基于λ立方体，特别是系统F。
限定的参数多态.1985年与提出类型参数允许限定（bounds）的益处。限定量化（bounded quantification）也称作“限定多态”（bounded polymorphism）或“约束泛型”（constrain