类型序列相关论文