身份类型-一流百科

身份类型

身份类型在类型理论中，身份类型代表平等的概念。它也被称为命题式平等，以区别于判断式平等。类型理论中的平等性是一个复杂的话题，一直是研究的对象，比如...