Rewriting for Monoidal Closed Categories
Rewriting for Monoidal Closed Categories
复制标题
幺半闭范畴的重写
DOI：
10.4230/lipics.fscd.2022.29
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Alvarez-Picallo M.
中科院分区：
文献类型：
--
作者：
Alvarez-Picallo M.
登录
查看更多内容
影响因子：
0.5
作者：
F. Bonchi;F. Gadducci;A. Kissinger;P. Sobocinski;F. Zanasi
通讯作者：
F. Zanasi
影响因子：
--
作者：
Bonchi, Filippo;Sobocinski, Pawel;Zanasi, Fabio
通讯作者：
Zanasi, Fabio
M、N-粘附性的新标准及其在分层图上的应用
DOI：
--
发表时间：
2022
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
Davide Castelnovo;F. Gadducci;Marino Miculan
通讯作者：
Marino Miculan
影响因子：
20.3
作者：
R. Bruni;F. Gadducci;Alberto Lluch
通讯作者：
Alberto Lluch
免费 monad 的字符串图（功能性珍珠）
DOI：
10.1145/2951913.2951947
发表时间：
2016
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Maciej Piróg;Nicolas Wu
通讯作者：
Nicolas Wu