A Combinatorial Approach to Higher-Order Structure for Polynomial Functors
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors
复制标题
多项式函子高阶结构的组合方法
DOI：
10.4230/lipics.fscd.2022.31
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Fiore M.
中科院分区：
文献类型：
--
作者：
Fiore M.
登录
查看更多内容
正则类型的导数是其单孔上下文类型
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Conor McBride
通讯作者：
Conor McBride
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Mark Weber
通讯作者：
Mark Weber
有限非确定性的双分类模型
DOI：
--
发表时间：
2021
期刊：
International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
Z. Galal
通讯作者：
Z. Galal
同伦型理论中多项式函子的笛卡尔二范畴
DOI：
--
发表时间：
2021
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
Eric Finster;S. Mimram;M. Lucas;Thomas Seiller
通讯作者：
Thomas Seiller
具有对称性的数据类型和群形上的多项式函子
DOI：
--
发表时间：
2012
期刊：
arXiv.org
影响因子：
--
作者：
Joachim Kock
通讯作者：
Joachim Kock