Constructing Initial Algebras Using Inflationary Iteration
Constructing Initial Algebras Using Inflationary Iteration
复制标题
使用膨胀迭代构造初始代数
DOI：
10.4204/eptcs.372.7
复制
发表时间：
2022
影响因子：
--
通讯作者：
Pitts A
中科院分区：
文献类型：
--
作者：
Pitts A
登录
查看更多内容
类别中基础良好的树木
影响因子：
0.8
作者：
I. Moerdijk;Erik Palmgren
通讯作者：
Erik Palmgren
DOI：
10.5860/choice.37-4551
发表时间：
1999
期刊：
--
影响因子：
--
作者：
P. Taylor
通讯作者：
P. Taylor
DOI：
10.1142/s0219061314500056
发表时间：
2012
期刊：
J. Math. Log.
影响因子：
--
作者：
B. V. D. Berg;I. Moerdijk
通讯作者：
I. Moerdijk
类型论、倾向和构造性集合论：AST 的预测方面
DOI：
10.1016/s0168-0072(01)00079-3
发表时间：
2002
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
I. Moerdijk;Erik Palmgren
通讯作者：
Erik Palmgren
影响因子：
0.6
作者：
Fiore M
通讯作者：
Fiore M