A survey of graphical languages for monoidal categories 论文

2009引用 455

Logic, programming, and type systemsHomotopy and Cohomology in Algebraic TopologyGeometric and Algebraic Topology

Logic, programming, and type systems Geometric and Algebraic Topology Homotopy and Cohomology in Algebraic Topology

A survey of graphical languages for monoidal categories · 相关文章

暂无数据