Synthetic Spectra via a Monadic and Comonadic Modality
Synthetic Spectra via a Monadic and Comonadic Modality
复制标题
通过单子和共子模态的合成光谱
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Finster E
中科院分区：
文献类型：
--
作者：
Finster E
登录
查看更多内容
关于更高归纳类型和综合同伦理论的形式化
DOI：
--
发表时间：
2018
期刊：
arXiv.org
影响因子：
--
作者：
Floris van Doorn
通讯作者：
Floris van Doorn
类型论的构造层模型
影响因子：
0.5
作者：
T. Coquand;Fabian Ruch;Christian Sattler
通讯作者：
Christian Sattler
纤维模态类型理论
DOI：
--
发表时间：
2016
期刊：
Workshop on Logical and Semantic Frameworks with Applications
影响因子：
--
作者：
Valeria C V de Paiva;Eike Ritter
通讯作者：
Eike Ritter
公理内聚
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
F. Lawvere
通讯作者：
F. Lawvere
索引类型理论
影响因子：
0.5
作者：
Valery Isaev
通讯作者：
Valery Isaev