This system is also the simplest pure type system, a formalism which generalizes the Lambda cube.
この系は最も単純な純粋型システムでもあり、ラムダ・キューブを一般化した形式手法である。