Fixpoint operators for 2-categorical structures
Fixpoint operators for 2-categorical structures
复制标题
2 分类结构的不动点算子
DOI：
10.1109/lics56636.2023.10175688
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Galal Z
中科院分区：
文献类型：
--
作者：
Galal Z
登录
查看更多内容
关于宽松结束的注意事项
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Kengo Hirata
通讯作者：
Kengo Hirata
数据类型的代数规范：一种综合方法
DOI：
10.1007/bf01752392
发表时间：
1981
期刊：
Mathematical systems theory
影响因子：
--
作者：
D. Lehmann;M. Smyth
通讯作者：
M. Smyth
类别中基础良好的树木
影响因子：
0.8
作者：
I. Moerdijk;Erik Palmgren
通讯作者：
Erik Palmgren
循环共享的递归：循环 Lambda 演算的追踪幺半群范畴和模型
影响因子：
--
作者：
Masahito Hasegawa
通讯作者：
Masahito Hasegawa
口语斯科特语义学
DOI：
--
发表时间：
2020
期刊：
International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
Z. Galal
通讯作者：
Z. Galal