Wander types : A formalization of coinduction-recursion
Wander types : A formalization of coinduction-recursion
复制标题
漫游类型：共归纳递归的形式化
DOI：
10.2201/niipi.2013.10.4
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
CAPRETTA V
中科院分区：
文献类型：
--
作者：
CAPRETTA V
登录
查看更多内容
无穷大的数学
DOI：
10.1007/3-540-52335-9_54
发表时间：
1988
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
P. Martin
通讯作者：
P. Martin
最终余代数上的连续函数
影响因子：
0.3
作者：
Neil Ghani;P. Hancock;D. Pattinson
通讯作者：
D. Pattinson
影响因子：
0.6
作者：
Ghani N
通讯作者：
Ghani N
论类型论中的宇宙
DOI：
10.1093/oso/9780198501275.003.0012
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
Erik Palmgren
通讯作者：
Erik Palmgren
类型理论中的无限对象
DOI：
--
发表时间：
1986
期刊：
Logic in Computer Science
影响因子：
--
作者：
N. Mendler;P. Panangaden;R. Constable
通讯作者：
R. Constable