U系统

什么是U系统在数理逻辑中，U系统和U-系统是纯类型系统，即具有任意数量的排序、公理和规则（或排序之间的依赖关系）的类型化λ计算的特殊形式。它们都被Jean-Y...