类型细化相关论文