Containers, monads and induction recursion
Containers, monads and induction recursion
复制标题
容器、单子和归纳递归
DOI：
10.1017/s0960129514000127
复制
发表时间：
2014
影响因子：
0.5
通讯作者：
GHANI N
中科院分区：
文献类型：
--
作者：
GHANI N
登录
查看更多内容
Mahlo 宇宙的扩展预测定义
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Reinhard Kahle;Anton Setzer
通讯作者：
Anton Setzer
解析函子的两种应用
影响因子：
1.1
作者：
R. Hasegawa
通讯作者：
R. Hasegawa
索引归纳递归
DOI：
--
发表时间：
2001
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
P. Dybjer;A. Setzer
通讯作者：
A. Setzer
DOI：
10.1007/978-1-4612-9839-7
发表时间：
1971
期刊：
--
影响因子：
--
作者：
S. Lane
通讯作者：
S. Lane
DOI：
--
发表时间：
1999
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
P. Dybjer;A. Setzer
通讯作者：
A. Setzer