Positive Inductive-Recursive Definitions
Positive Inductive-Recursive Definitions
复制标题
正归纳递归定义
DOI：
10.2168/lmcs-11(1:13)2015
复制
发表时间：
2015
影响因子：
0.6
通讯作者：
Ghani N
中科院分区：
文献类型：
--
作者：
Ghani N
登录
查看更多内容
关联限制、家族代表性和 Artin 粘合
影响因子：
0.5
作者：
A. Carboni;P. Johnstone
通讯作者：
P. Johnstone
将循环结构表示为嵌套数据类型
DOI：
--
发表时间：
2006
期刊：
Trends in Functional Programming
影响因子：
--
作者：
N.Ghani;M.Hamana;T.Uustalu;V.Vene
通讯作者：
V.Vene
直觉主义类型理论
DOI：
--
发表时间：
1972
期刊：
影响因子：
--
作者：
P. Martin
通讯作者：
P. Martin
弗雷格结构和命题、真值和集合的概念*
DOI：
10.1016/s0049-237x(08)71252-7
发表时间：
1980
期刊：
--
影响因子：
--
作者：
P. Aczel
通讯作者：
P. Aczel
DOI：
10.1017/s0956796800003701
发表时间：
2000
期刊：
J. Funct. Program.
影响因子：
--
作者：
R. Hinze
通讯作者：
R. Hinze