多项式向量（类型理论）-一流百科

多项式向量（类型理论）

多项式向量（类型理论）在类型理论中，多项式向量（或容器向量）是一种类型类别的内向量，与归纳和共轭类型的概念密切相关。具体来说，所有的W类型（resp.M类...

词条百科