This system is also the simplest pure type system, a formalism which generalizes the Lambda cube.
这个系统也是最简单的纯类型系统，它是推广Lambda立方体的一种形式化。