摘要：非标准身份概念在同伦类型理论中的发展为Frege著名的“维纳斯例子”提供了另一种分析方法，解释了经验证据如何证明身份判断，并解释了此类判断的建构性方面。
作者：Andrei Rodin
论文ID：1206.1769
分类：History and Overview
分类简称：math.HO
提交时间：2012-06-11
PDF 下载： 英文版 中文版pdf翻译中