暂无分享,去创建一个
[1] Alexander Merry,et al. Reasoning with !-graphs , 2014, ArXiv.
[2] Aleks Kissinger,et al. Open Graphs and Computational Reasoning , 2010, DCM.
[3] Dimitri Kartsaklis,et al. Compositional distributional semantics with compact closed categories and Frobenius algebras , 2015, ArXiv.
[4] Aleks Kissinger,et al. Pattern Graph Rewrite Systems , 2012, DCM.
[5] John C. Baez,et al. Categories in Control , 2014, 1405.6881.
[6] Aleks Kissinger,et al. Tensors, !-graphs, and non-commutative quantum structures. , 2014 .
[7] Bob Coecke,et al. Interacting Quantum Observables , 2008, ICALP.
[8] A. Joyal,et al. The geometry of tensor calculus, I , 1991 .
[9] Aleks Kissinger. Abstract Tensor Systems as Monoidal Categories , 2014, Categories and Types in Logic, Language, and Physics.
[10] Aleks Kissinger,et al. Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, Edinburgh, Scotland, 9-10th July 2010 , 2010 .
[11] Aleks Kissinger,et al. Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing , 2012, ArXiv.
[12] Aleks Kissinger,et al. Strong Complementarity and Non-locality in Categorical Quantum Mechanics , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[13] Lucas Dixon,et al. Graphical reasoning in compact closed categories for quantum computation , 2009, Annals of Mathematics and Artificial Intelligence.