Rewriting for Monoidal Closed Categories

Rewriting for Monoidal Closed Categories
复制标题

幺半闭范畴的重写

DOI:
10.4230/lipics.fscd.2022.29
复制
发表时间:
2022
期刊:
Leibniz International Proceedings in Informatics, LIPIcs
影响因子:
--
通讯作者:
Alvarez-Picallo M.
Alvarez-Picallo M.
中科院分区:
--
文献类型:
--
作者:
Alvarez-Picallo M.

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1017/s0960129522000317
发表时间: 2021
影响因子: 0.5
作者:
F. Bonchi;F. Gadducci;A. Kissinger;P. Sobocinski;F. Zanasi
通讯作者: F. Zanasi
M、N-粘附性的新标准及其在分层图上的应用
DOI: --
发表时间: 2022
期刊: Foundations of Software Science and Computation Structure
影响因子: --
作者:
Davide Castelnovo;F. Gadducci;Marino Miculan
通讯作者: Marino Miculan
DOI: 10.1145/2775051.2676993
发表时间: 2015-01-01
影响因子: --
作者:
Bonchi, Filippo;Sobocinski, Pawel;Zanasi, Fabio
通讯作者: Zanasi, Fabio
一个简单的基于图的中间表示
DOI: 10.1145/202529.202534
发表时间: 1995
期刊: arXiv: Category Theory
影响因子: --
作者:
C. Click;Michael H. Paleczny
通讯作者: Michael H. Paleczny
具有分层抽象语法图的操作语义
DOI: 10.4204/eptcs.334.1
发表时间: 2021
期刊: Theor. Comput. Sci.
影响因子: --
作者:
D. Ghica
通讯作者: D. Ghica