存在类型相关论文