The continuity of monadic stream functions
The continuity of monadic stream functions
复制标题
一元流函数的连续性
DOI：
10.1109/lics.2017.8005119
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Capretta V
中科院分区：
文献类型：
--
作者：
Capretta V
登录
查看更多内容
最终余代数上的连续函数
影响因子：
0.3
作者：
Neil Ghani;P. Hancock;D. Pattinson
通讯作者：
D. Pattinson
影响因子：
0.6
作者：
Ghani N
通讯作者：
Ghani N
通过有效强制实现哥德尔系统 T 可定义泛函的连续性
影响因子：
0.7
作者：
M. Escardó
通讯作者：
M. Escardó
装饰代数、代数装饰品
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
N. Gumede;A. Young;J. Coetzee
通讯作者：
J. Coetzee
第八届计算机科学代数方法研讨会论文集，CMCS 2006，奥地利维也纳，2006 年 3 月 25-27 日
DOI：
--
发表时间：
2006
期刊：
International Workshop on Coalgebraic Methods in Computer Science
影响因子：
--
作者：
Neil Ghani;J. Power
通讯作者：
J. Power