纯类型系统

纯类型系统证明或反驳Barendregt-Geuvers-Klop猜想。(计算机科学中更多未解决的问题)在被称为证明理论和类型理论的数理逻辑分支中，纯类型系统（PTS），以前...