Relative Monads Formalised
Relative Monads Formalised
复制标题
相对单子形式化
DOI：
10.6092/issn.1972-5787/4389
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Altenkirch T
中科院分区：
文献类型：
--
作者：
Altenkirch T
登录
查看更多内容
DOI：
--
发表时间：
1990
期刊：
CADE
影响因子：
--
作者：
James A. Altucher;P. Panangaden
通讯作者：
P. Panangaden
Coq 8.5 中的范畴论
DOI：
--
发表时间：
2015
期刊：
International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
Amin Timany;B. Jacobs
通讯作者：
B. Jacobs
E 类别的 E 双类别，举例说明了双类别的类型理论方法
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
O. Wilander
通讯作者：
O. Wilander
在 ALF 中实现集合类别
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
P. Dybjer
通讯作者：
P. Dybjer
范畴论作为 Martin-Lflf 类型理论的延伸
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
R. Dyckhoff
通讯作者：
R. Dyckhoff