递减类型相关论文