结构演算的强归一化的简短而灵活的证明 电子书下载

原名:A short and flexible proof of strong normalization for the calculus of constructions
作品简介:结构演算的强归一化的简短而灵活的证明。建筑数学与计算科学系，计算机科学基础实验室，.. 名词化、预测和类型包含，第 14 页。 40 广播网络，第 40 页。 73…….