An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
复制标题
计算机科学家弦图简介
DOI：
10.48550/arxiv.2305.08768
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
F. Zanasi
中科院分区：
文献类型：
--
作者：
R. Piedeleu;F. Zanasi
本文档是对字符串图的基本介绍。它采用了计算机科学的视角：而不是使用范畴论作为起点，我们建立在形式语言理论的直觉上，将字符串图视为具有语义的语法。在基础理论之后，提供了弦图在各个科学领域的当代应用的指针。
This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as a syntax with its semantics. After the basic theory, pointers are provided to contemporary applications of string diagrams in various fields of science.
登录
查看更多内容
影响因子：
--
作者：
Wilson P
通讯作者：
Wilson P
影响因子：
1.5
作者：
B. Coecke;R. Spekkens
通讯作者：
B. Coecke;R. Spekkens
图解分段线性代数
DOI：
--
发表时间：
2022
期刊：
--
影响因子：
--
作者：
Boisseau, G.
通讯作者：
Boisseau, G.
DOI：
10.4230/lipics.fscd.2022.29
发表时间：
2022
期刊：
Leibniz International Proceedings in Informatics, LIPIcs
影响因子：
--
作者：
Alvarez-Picallo M.
通讯作者：
Alvarez-Picallo M.
DOI：
10.4230/lipics.csl.2023.6
发表时间：
2021-07
期刊：
ArXiv
影响因子：
--
作者：
Mario Alvarez-Picallo;D. Ghica;David Sprunger;F. Zanasi
通讯作者：
Mario Alvarez-Picallo;D. Ghica;David Sprunger;F. Zanasi