派生型のある型付きラムダ計算は単に普通の型付きラムダ計算に結合型(conjunctivetype)とF≤{\displaystyleF^{\leq}}(F-sub)を加えたものである。
带有子类型的有类型lambda演算是带有合取类型和F≤{\displaystyleF^{\leq}}（F-sub）的简单类型lambda演算。