用歧类型相关论文