A First-order Logic for String Diagrams
暂无分享,去创建一个
[1] B. Coecke. Quantum picturalism , 2009, 0908.1787.
[2] John C. Baez,et al. Categories in Control , 2014, 1405.6881.
[3] A. Joyal,et al. The geometry of tensor calculus, I , 1991 .
[4] Aleks Kissinger,et al. Quantomatic: A proof assistant for diagrammatic reasoning , 2015, CADE.
[5] Aleks Kissinger,et al. Tensors, !-graphs, and Non-commutative Quantum Structures , 2016, New Generation Computing.
[6] Bob Coecke,et al. Interacting Quantum Observables , 2008, ICALP.
[7] Stephen Pulman. Compositional distributional semantics with compact closed categories and Frobenius algebras , 2014 .
[8] Alexander Merry,et al. Reasoning with !-graphs , 2014, ArXiv.
[9] Aleks Kissinger,et al. Pattern Graph Rewrite Systems , 2012, DCM.
[10] Aleks Kissinger. Abstract Tensor Systems as Monoidal Categories , 2014, Categories and Types in Logic, Language, and Physics.
[11] Filippo Bonchi,et al. A Categorical Semantics of Signal Flow Graphs , 2014, CONCUR.
[12] Aleks Kissinger,et al. Tensors, !-graphs, and non-commutative quantum structures (extended version) , 2015, ArXiv.
[13] Peter Dybjer,et al. A Finite Axiomatization of Inductive-Recursive Definitions , 1999, TLCA.
[14] Lucas Dixon,et al. Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation , 2008, AISC/MKM/Calculemus.
[15] Aleks Kissinger,et al. Strong Complementarity and Non-locality in Categorical Quantum Mechanics , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.