No. Title Author Year
1 A 2-Categorical Approach to Composing Quantum Structures Reutter, David et al. 2017
2 A Classical Groupoid Model for Quantum Networks Reutter, David et al. 2017
3 Globular: An Online Proof Assistant for Higher-Dimensional Rewriting Bar, Krzysztof et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI