@article(Abbott2020CommunicationChannels, author = {Alastair A. Abbott and Julian Wechs and Dominic Horsman and Mehdi Mhalla and Cyril Branciard}, year = {2020}, title = {{Communication through coherent control of quantum channels}}, journal = {Quantum}, volume = {4}, pages = {333}, doi = {10.22331/Q-2020-09-24-333}, url = {https://quantum-journal.org/papers/q-2020-09-24-333/}, ) @inproceedings(Abramsky2003PhysicalProcessing, author = {Samson Abramsky and Bob Coecke}, year = {2003}, title = {{Physical traces: Quantum vs. classical information processing}}, booktitle = {Electronic Notes in Theoretical Computer Science}, volume = {69}, publisher = {Elsevier B.V.}, pages = {1--22}, doi = {10.1016/S1571-0661(04)80556-5}, ) @inproceedings(Abramsky2004AProtocols, author = {Samson Abramsky and Bob Coecke}, year = {2004}, title = {{A categorical semantics of quantum protocols}}, booktitle = {Proceedings - Symposium on Logic in Computer Science}, volume = {19}, pages = {415--425}, doi = {10.1109/lics.2004.1319636}, ) @article(araki1980characterization, author = {Huzihiro Araki}, year = {1980}, title = {On a characterization of the state space of quantum mechanics}, journal = {Communications in Mathematical Physics}, volume = {75}, number = {1}, pages = {1--24}, doi = {10.1007/BF01609054}, ) @article(Araujo2014ComputationalGatesb, author = {Mateus Ara{\'{u}}jo and Fabio Costa and \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{Č}intopreamble]aslav Brukner}, year = {2014}, title = {{Computational advantage from quantum-controlled ordering of gates}}, journal = {Physical Review Letters}, volume = {113}, number = {25}, pages = {250402}, doi = {10.1103/PhysRevLett.113.250402}, url = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.113.250402}, ) @article(barnum2007generalized, author = {Howard Barnum and Jonathan Barrett and Matthew Leifer and Alexander Wilce}, year = {2007}, title = {Generalized no-broadcasting theorem}, journal = {Physical Review Letters}, volume = {99}, number = {24}, pages = {240501}, doi = {10.1007/BF00690066}, ) @article(Barrett2007InformationTheories, author = {Jonathan Barrett}, year = {2007}, title = {{Information processing in generalized probabilistic theories}}, journal = {Physical Review A}, volume = {75}, number = {3}, pages = {032304}, doi = {10.1103/PhysRevA.75.032304}, url = {https://journals.aps.org/pra/abstract/10.1103/PhysRevA.75.032304}, ) @article(Bavaresco2020StrictDiscrimination, author = {Jessica Bavaresco and Mio Murao and Marco T\IeC{\'u}lio Quintino}, year = {2020}, title = {{Strict hierarchy between parallel, sequential, and indefinite-causal-order strategies for channel discrimination}}, journal = {arXiv preprint arXiv:2011.08300}, url = {http://arxiv.org/abs/2011.08300}, ) @article(Bavaresco2021UnitaryStrategies, author = {Jessica Bavaresco and Mio Murao and Marco T\IeC{\'u}lio Quintino}, year = {2021}, title = {{Unitary channel discrimination beyond group structures: Advantages of sequential and indefinite-causal-order strategies}}, journal = {arXiv preprint arXiv:2105.13369}, url = {http://arxiv.org/abs/2105.13369}, ) @article(bisio2010optimal, author = {Alessandro Bisio and Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Stefano Facchini and Paolo Perinotti}, year = {2010}, title = {Optimal quantum learning of a unitary transformation}, journal = {Physical Review A}, volume = {81}, number = {3}, pages = {032324}, doi = {10.1142/S0219749906002018}, ) @article(bisio2010information, author = {Alessandro Bisio and Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2010}, title = {Information-disturbance tradeoff in estimating a unitary transformation}, journal = {Physical Review A}, volume = {82}, number = {6}, pages = {062305}, doi = {10.1103/PhysRevA.72.042338}, ) @article(Bisio2019TheoreticalTheory, author = {Alessandro Bisio and Paolo Perinotti}, year = {2019}, title = {{Theoretical framework for higher-order quantum theory}}, journal = {Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences}, volume = {475}, number = {2225}, pages = {20180706}, doi = {10.1098/rspa.2018.0706}, url = {https://royalsocietypublishing.org/doi/10.1098/rspa.2018.0706}, ) @article(Carette2021GraphicalMemory, author = {Titouan Carette and De Visme, Marc and Simon Perdrix}, year = {2021}, title = {{Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory}}, journal = {arXiv preprint arXiv:2102.03133v2}, ) @article(Castro-RuizDynamicsStructures, author = {Castro-Ruiz, Esteban and Flaminia Giacomini and \v{C}{}aslav Brukner}, year = {2018}, title = {Dynamics of Quantum Causal Structures}, journal = {Phys. Rev. X}, volume = {8}, pages = {011047}, doi = {10.1103/PhysRevX.8.011047}, url = {https://link.aps.org/doi/10.1103/PhysRevX.8.011047}, ) @article(Chiribella2008QuantumArchitectureb, author = {G. Chiribella and G. M. D'Ariano and P. Perinotti}, year = {2008}, title = {{Quantum circuit architecture}}, journal = {Physical Review Letters}, volume = {101}, number = {6}, pages = {060401}, doi = {10.1103/PhysRevLett.101.060401}, url = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.101.060401}, ) @article(Chiribella2008TransformingSupermapsb, author = {G Chiribella and G M D'ariano and P Perinotti}, year = {2008}, title = {{Transforming quantum operations: Quantum supermaps}}, journal = {EPL}, volume = {83}, pages = {30004}, doi = {10.1209/0295-5075/83/30004}, url = {www.epljournal.org}, ) @article(chiribella2010probabilistic, author = {G. Chiribella and G.M. D'Ariano and P. Perinotti}, year = {2010}, title = {Probabilistic theories with purification}, journal = {Phys. Rev. A}, volume = {81}, pages = {062348}, doi = {10.1103/PhysRevA.81.062348}, url = {http://link.aps.org/doi/10.1103/PhysRevA.81.062348}, ) @article(Chiribella2012PerfectStructures, author = {Giulio Chiribella}, year = {2012}, title = {{Perfect discrimination of no-signalling channels via quantum superposition of causal structures}}, journal = {Physical Review A (Rapid Communication)}, volume = {86}, number = {4}, pages = {040301}, doi = {10.1103/PhysRevA.86.040301}, ) @article(Chiribella2021IndefiniteChannels, author = {Giulio Chiribella and Manik Banik and Some Sankar Bhattacharya and Tamal Guha and Mir Alimuddin and Arup Roy and Sutapa Saha and Sristy Agrawal and Guruprasad Kar}, year = {2021}, title = {{Indefinite causal order enables perfect quantum communication with zero capacity channels}}, journal = {New Journal of Physics}, doi = {10.1088/1367-2630/abe7a0}, url = {https://iopscience.iop.org/article/10.1088/1367-2630/abe7a0}, ) @article(Chiribella2013QuantumStructure, author = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti and Benoit Valiron}, year = {2013}, title = {{Quantum computations without definite causal structure}}, journal = {Physical Review A}, volume = {88}, number = {2}, pages = {022318}, doi = {10.1103/PhysRevA.88.022318}, ) @article(chiribella2008optimal, author = {Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2008}, title = {Optimal cloning of unitary transformation}, journal = {Physical Review Letters}, volume = {101}, number = {18}, pages = {180504}, doi = {10.1103/PhysRevA.72.042338}, ) @article(chiribella2009theoretical, author = {Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2009}, title = {Theoretical framework for quantum networks}, journal = {Physical Review A}, volume = {80}, number = {2}, pages = {022339}, doi = {10.1103/PhysRevLett.99.240501}, ) @article(chiribella2011informational, author = {Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2011}, title = {Informational derivation of quantum theory}, journal = {Physical Review A}, volume = {84}, number = {1}, pages = {012311}, doi = {10.1103/PhysRevLett.103.170502}, ) @incollection(Chiribella2016QuantumPrinciples, author = {Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2016}, title = {{Quantum from Principles}}, booktitle = {Fundamental Theories of Physics}, volume = {181}, publisher = {Springer}, pages = {171--221}, doi = {10.1007/978-94-017-7303-4{\_}6}, url = {https://link.springer.com/chapter/10.1007/978-94-017-7303-4_6}, ) @article(chiribella2009beyond, author = {Giulio Chiribella and D\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{’}intopreamble]Ariano, Giacomo Mauro and Paolo Perinotti and Benoit Valiron}, year = {2009}, title = {Beyond quantum computers}, journal = {arXiv preprint arXiv:0912.0195}, ) @article(chiribella2013normal, author = {Giulio Chiribella and Alessandro Toigo and Veronica Umanit{\`a}}, year = {2013}, title = {Normal completely positive maps on the space of quantum operations}, journal = {Open Systems \& Information Dynamics}, volume = {20}, number = {01}, pages = {1350003}, doi = {10.1088/1751-8113/41/35/355302}, ) @article(Chiribella2020QuantumOrders, author = {Giulio Chiribella and Matthew Wilson and H. F. Chau}, year = {2020}, title = {{Quantum and Classical Data Transmission Through Completely Depolarising Channels in a Superposition of Cyclic Orders}}, journal = {arXiv preprint arXiv:2005.00618}, url = {http://arxiv.org/abs/2005.00618}, ) @techreport(Cockett1997PROOFCATEGORIES, author = {J R B Cockett and R A G Seely}, year = {1997}, title = {{Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories}}, type = {Technical Report}, number = {5}, ) @article(Cockett2018DaggerMechanics, author = {Robin Cockett and Cole Comfort and Priyaa Srinivasan}, year = {2018}, title = {{Dagger linear logic for categorical quantum mechanics}}, journal = {arXiv preprint arXiv:1809.00275}, url = {http://arxiv.org/abs/1809.00275}, ) @article(Cockett2021ExponentialComplementarity, author = {Robin Cockett and Priyaa V Srinivasan}, year = {2021}, title = {{Exponential modalities and complementarity}}, journal = {arXiv preprint arXiv:2103.05191v1}, ) @article(Coecke2010QuantumPicturalism, author = {Bob Coecke}, year = {2010}, title = {{Quantum picturalism}}, journal = {Contemporary Physics}, volume = {51}, number = {1}, pages = {59--83}, doi = {10.1080/00107510903257624}, ) @article(coecke2016terminality, author = {Bob Coecke}, year = {2016}, title = {Terminality implies no-signalling... and much more than that}, journal = {New Generation Computing}, volume = {34}, number = {1-2}, pages = {69--85}, doi = {10.1007/s00354-016-0201-6}, ) @article(Coecke2009InteractingDiagrammatics, author = {Bob Coecke and Ross Duncan}, year = {2009}, title = {{Interacting Quantum Observables: Categorical Algebra and Diagrammatics}}, doi = {10.1088/1367-2630/13/4/043016}, url = {http://arxiv.org/abs/0906.4725 http://dx.doi.org/10.1088/1367-2630/13/4/043016}, ) @inproceedings(Coecke2011PhaseQubits, author = {Bob Coecke and Bill Edwards and Robert W. Spekkens}, year = {2011}, title = {{Phase groups and the origin of non-locality for qubits}}, booktitle = {Electronic Notes in Theoretical Computer Science}, volume = {270}, publisher = {Elsevier}, pages = {15--36}, doi = {10.1016/j.entcs.2011.01.021}, ) @article(Coecke2014AResources, author = {Bob Coecke and Tobias Fritz and Robert W. Spekkens}, year = {2014}, title = {{A mathematical theory of resources}}, doi = {10.1016/j.ic.2016.02.008}, url = {http://arxiv.org/abs/1409.5531 http://dx.doi.org/10.1016/j.ic.2016.02.008}, ) @inproceedings(Coecke2010TheEntanglement, author = {Bob Coecke and Aleks Kissinger}, year = {2010}, title = {{The compositional structure of multipartite quantum entanglement}}, booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, volume = {6199 LNCS}, publisher = {Springer Verlag}, pages = {297--308}, doi = {10.1007/978-3-642-14162-1{\_}25}, url = {https://link.springer.com/chapter/10.1007/978-3-642-14162-1_25}, ) @book(Coecke2017PicturingReasoning, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {{Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning}}, publisher = {Cambridge University Press}, doi = {10.1017/9781316219317}, url = {/core/books/picturing-quantum-processes/1119568B3101F3A685BE832FEEC53E52}, ) @article(Coecke2012TimeTime, author = {Bob Coecke and Raymond Lal}, year = {2012}, title = {{Time asymmetry of probabilities versus relativistic causal structure: An arrow of time}}, journal = {Physical Review Letters}, volume = {108}, number = {20}, doi = {10.1103/PhysRevLett.108.200403}, ) @article(Coecke2013CausalProcesses, author = {Bob Coecke and Raymond Lal}, year = {2013}, title = {{Causal Categories: Relativistically Interacting Processes}}, journal = {Foundations of Physics}, volume = {43}, number = {4}, pages = {458--501}, doi = {10.1007/s10701-012-9646-8}, ) @incollection(Coecke2007QuantumSums, author = {Bob Coecke and Dusko Pavlovic}, year = {2007}, title = {{Quantum measurements without sums}}, booktitle = {Mathematics of Quantum Computation and Quantum Technology}, publisher = {CRC Press}, pages = {559--596}, doi = {10.1201/9781584889007.ch16}, url = {https://arxiv.org/abs/quant-ph/0608035v2}, ) @inproceedings(dariano2006how, author = {Giacomo Mauro D'Ariano}, year = {2006}, title = {How to Derive the Hilbert-Space Formulation of Quantum Mechanics From Purely Operational Axioms}, booktitle = {AIP Conference Proceedings}, volume = {844}, organization = {AIP}, pages = {101--128}, doi = {10.1063/1.2219356}, ) @article(Dong2021Success-or-Draw:Computation, author = {Qingxiuxiong Dong and Marco T\IeC{\'u}lio Quintino and Akihito Soeda and Mio Murao}, year = {2021}, title = {{Success-or-Draw: A Strategy Allowing Repeat-Until-Success in Quantum Computation}}, journal = {Physical Review Letters}, volume = {126}, number = {15}, pages = {150504}, doi = {10.1103/PhysRevLett.126.150504}, url = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.126.150504}, ) @article(Dong2021TheOperations, author = {Qingxiuxiong Dong and Marco T\IeC{\'u}lio Quintino and Akihito Soeda and Mio Murao}, year = {2021}, title = {{The quantum switch is uniquely defined by its action on unitary operations}}, journal = {arXiv preprint arXiv:2106.00034}, url = {https://arxiv.org/abs/2106.00034v2}, ) @article(Ebler2018EnhancedOrder, author = {Daniel Ebler and Sina Salek and Giulio Chiribella}, year = {2018}, title = {{Enhanced Communication with the Assistance of Indefinite Causal Order}}, journal = {Physical Review Letters}, volume = {120}, number = {12}, pages = {120502}, doi = {10.1103/PhysRevLett.120.120502}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.120.120502}, ) @article(GalleyATheory, author = {Thomas D Galley and Flaminia Giacomini and John H Selby}, title = {{A no-go theorem on the nature of the gravitational field beyond quantum theory}}, journal = {arXiv preprint arXiv:2012.01441v1}, ) @article(Gogioso2019ADynamics, author = {Stefano Gogioso}, year = {2019}, title = {{A Diagrammatic Approach to Quantum Dynamics}}, journal = {arXiv}, doi = {10.4230/LIPIcs.CALCO.2019.16}, url = {http://arxiv.org/abs/1905.13111 http://dx.doi.org/10.4230/LIPIcs.CALCO.2019.16}, ) @inproceedings(Gogioso2017Infinite-dimensionalMechanics, author = {Stefano Gogioso and Fabrizio Genovese}, year = {2017}, title = {{Infinite-dimensional categorical quantum mechanics}}, booktitle = {Electronic Proceedings in Theoretical Computer Science, EPTCS}, volume = {236}, publisher = {Open Publishing Association}, pages = {51--69}, doi = {10.4204/EPTCS.236.4}, ) @inproceedings(Gogioso2018TowardsMechanics, author = {Stefano Gogioso and Fabrizio Genovese}, year = {2018}, title = {{Towards quantum field theory in categorical quantum mechanics}}, booktitle = {Electronic Proceedings in Theoretical Computer Science, EPTCS}, volume = {266}, publisher = {Open Publishing Association}, pages = {349--366}, doi = {10.4204/EPTCS.266.22}, ) @inproceedings(Gogioso2019QuantumMechanics, author = {Stefano Gogioso and Fabrizio Genovese}, year = {2019}, title = {{Quantum field theory in categorical quantum mechanics}}, booktitle = {Electronic Proceedings in Theoretical Computer Science, EPTCS}, volume = {287}, publisher = {Open Publishing Association}, pages = {163--177}, doi = {10.4204/EPTCS.287.9}, ) @article(GourDynamicalResources, author = {Gilad Gour and Carlo Maria Scandolo}, title = {{Dynamical Resources}}, journal = {arXiv preprint arXiv:2101.01552v1}, ) @article(Gour2021EntanglementChannel, author = {Gilad Gour and Carlo Maria Scandolo}, year = {2021}, title = {{Entanglement of a bipartite channel}}, journal = {Physical Review A}, volume = {103}, number = {6}, pages = {062422}, doi = {10.1103/PhysRevA.103.062422}, url = {https://journals.aps.org/pra/abstract/10.1103/PhysRevA.103.062422}, ) @article(Guerin2016ExponentialCommunication, author = {Philippe Allard Gu{\'{e}}rin and Adrien Feix and Mateus Ara{\'{u}}jo and \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{Č}intopreamble]aslav Brukner}, year = {2016}, title = {{Exponential Communication Complexity Advantage from Quantum Superposition of the Direction of Communication}}, journal = {Physical Review Letters}, volume = {117}, number = {10}, pages = {100502}, doi = {10.1103/PhysRevLett.117.100502}, ) @article(Hardy2001QuantumAxioms, author = {Lucien Hardy}, year = {2001}, title = {{Quantum Theory From Five Reasonable Axioms}}, journal = {arXiv preprint arXiv:quant-ph/0101012}, url = {http://arxiv.org/abs/quant-ph/0101012}, ) @article(hardy2007towards, author = {Lucien Hardy}, year = {2007}, title = {Towards quantum gravity: a framework for probabilistic theories with non-fixed causal structure}, journal = {Journal of Physics A: Mathematical and Theoretical}, volume = {40}, number = {12}, pages = {3081}, doi = {10.1007/BF02105068}, ) @article(hardy2011reformulating, author = {Lucien Hardy}, year = {2011}, title = {Reformulating and reconstructing quantum theory}, journal = {arXiv preprint arXiv:1104.2066}, ) @article(Hardy2021TimeTheories, author = {Lucien Hardy}, year = {2021}, title = {{Time Symmetry in Operational Theories}}, journal = {arXiv preprint arXiv:2104.00071v1}, ) @article(Heunen2019CategoriesTheory, author = {Chris Heunen and Jamie Vicary}, year = {2019}, title = {{Categories for Quantum Theory}}, journal = {Categories for Quantum Theory}, doi = {10.1093/OSO/9780198739623.001.0001}, ) @article(Johnstone1983BASIC64, author = {P. T. Johnstone}, year = {1983}, title = {{Basic Concepts of Enriched Category Theory (London Mathematical Society Lecture Note Series, 64)}}, journal = {Bulletin of the London Mathematical Society}, volume = {15}, number = {1}, pages = {96--96}, doi = {10.1112/blms/15.1.96}, url = {http://doi.wiley.com/10.1112/blms/15.1.96}, ) @article(Kissinger2019AStructure, author = {Aleks Kissinger and Sander Uijlen}, year = {2019}, title = {{A categorical semantics for causal structure}}, journal = {Logical Methods in Computer Science}, volume = {15}, number = {3}, doi = {10.23638/LMCS-15(3:15)2019}, ) @article(Kristjansson2020ResourceCommunication, author = {Hl\IeC{\'e}r Kristj{\'{a}}nsson and Giulio Chiribella and Sina Salek and Daniel Ebler and Matthew Wilson}, year = {2020}, title = {{Resource theories of communication}}, journal = {New Journal of Physics}, volume = {22}, number = {7}, pages = {073014}, doi = {10.1088/1367-2630/ab8ef7}, ) @book(Lane1971CategoriesMathematician, author = {Saunders Mac Lane}, year = {1971}, title = {{Categories for the Working Mathematician}}, series = {Graduate Texts in Mathematics}, volume = {5}, publisher = {Springer New York}, address = {New York, NY}, doi = {10.1007/978-1-4612-9839-7}, url = {http://link.springer.com/10.1007/978-1-4612-9839-7}, ) @article(Liu2035OperationalChannels, author = {Yunchao Liu and Xiao Yuan}, year = {2035}, title = {{Operational resource theory of quantum channels}}, journal = {Physical Review Research}, volume = {2}, doi = {10.1103/PhysRevResearch.2.012035}, ) @article(Liu2019ResourceErasure, author = {Zi-Wen Liu and Andreas Winter}, year = {2019}, title = {{Resource theories of quantum channels and the universal role of resource erasure}}, journal = {arXiv preprint arXiv:1904.04201}, url = {https://arxiv.org/abs/1904.04201v1}, ) @book(mauro2017quantum, author = {Mauro D'Ariano, Giacomo and Giulio Chiribella and Paolo Perinotti}, year = {2017}, title = {Quantum Theory from First Principles}, publisher = {Cambridge University Press}, doi = {10.1017/9781107338340}, ) @inproceedings(DBLP:journals/corr/abs-1704-08086, author = {Pau Enrique Moliner and Chris Heunen and Sean Tull}, year = {2017}, title = {Space in Monoidal Categories}, editor = {Bob Coecke and Aleks Kissinger}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {399--410}, doi = {10.4204/EPTCS.266.25}, ) @article(Oreshkov2012QuantumOrder, author = {Ognyan Oreshkov and Fabio Costa and \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{Č}intopreamble]aslav Brukner}, year = {2012}, title = {{Quantum correlations with no causal order}}, journal = {Nature Communications}, volume = {3}, doi = {10.1038/ncomms2076}, ) @incollection(Perinotti2017CausalComputations, author = {Paolo Perinotti}, year = {2017}, title = {{Causal Structures and the Classification of Higher Order Quantum Computations}}, publisher = {Birkh{\"{a}}user, Cham}, pages = {103--127}, doi = {10.1007/978-3-319-68655-4{\_}7}, url = {https://link.springer.com/chapter/10.1007/978-3-319-68655-4_7}, ) @article(Pinzani2020GivingOrders, author = {Nicola Pinzani and Stefano Gogioso}, year = {2020}, title = {{Giving Operational Meaning to the Superposition of Causal Orders}}, journal = {arXiv preprint arXiv:2003.13306}, url = {http://arxiv.org/abs/2003.13306}, ) @article(Procopio2019CommunicationScenario, author = {Lorenzo M. Procopio and Francisco Delgado and Marco Enr{\'{i}}quez and Nadia Belabas and Juan Ariel Levenson}, year = {2019}, title = {{Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario}}, journal = {Entropy}, volume = {21}, number = {10}, pages = {1012}, doi = {10.3390/e21101012}, url = {https://www.mdpi.com/1099-4300/21/10/1012}, ) @article(Procopio2020SendingOrders, author = {Lorenzo M. Procopio and Francisco Delgado and Marco Enr{\'{i}}quez and Nadia Belabas and Juan Ariel Levenson}, year = {2020}, title = {{Sending classical information via three noisy channels in superposition of causal orders}}, journal = {Physical Review A}, volume = {101}, number = {1}, pages = {012346}, doi = {10.1103/PhysRevA.101.012346}, ) @article(Quintino2019ReversingOperations, author = {Marco T\IeC{\'u}lio Quintino and Qingxiuxiong Dong and Atsushi Shimbo and Akihito Soeda and Mio Murao}, year = {2019}, title = {{Reversing Unknown Quantum Transformations: Universal Quantum Circuit for Inverting General Unitary Operations}}, journal = {Physical Review Letters}, volume = {123}, number = {21}, pages = {210502}, doi = {10.1103/PhysRevLett.123.210502}, url = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.123.210502}, ) @article(Roman2020CombFeedback, author = {Mario Rom{\'{a}}n}, year = {2020}, title = {{Comb Diagrams for Discrete-Time Feedback}}, journal = {arXiv preprint arXiv:2003.06214v1}, ) @inproceedings(Roman2020OpenCalculus, author = {Mario Rom{\'{a}}n}, year = {2020}, title = {Open Diagrams via Coend Calculus}, editor = {David I. Spivak and Jamie Vicary}, booktitle = {Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020}, series = {{EPTCS}}, volume = {333}, pages = {65--78}, doi = {10.4204/EPTCS.333.5}, ) @article(Salek2018QuantumOrders, author = {Sina Salek and Daniel Ebler and Giulio Chiribella}, year = {2018}, title = {{Quantum communication in a superposition of causal orders}}, journal = {arXiv preprint arXiv:1809.06655}, url = {http://arxiv.org/abs/1809.06655}, ) @article(Sazim2020ClassicalChannels, author = {Sk Sazim and Michal Sedlak and Kratveer Singh and Arun Kumar Pati}, year = {2021}, title = {Classical communication with indefinite causal order for $N$ completely depolarizing channels}, journal = {Phys. Rev. A}, volume = {103}, pages = {062610}, doi = {10.1103/PhysRevA.103.062610}, url = {https://link.aps.org/doi/10.1103/PhysRevA.103.062610}, ) @article(SchmidUnscramblingTheories, author = {David Schmid and John H Selby and Robert W Spekkens}, title = {{Unscrambling the omelette of causation and inference: The framework of causal-inferential theories}}, journal = {arXiv preprint arXiv:2009.03297v2}, ) @article(Selby2017Leaks:More, author = {John Selby and Bob Coecke}, year = {2017}, title = {{Leaks: Quantum, Classical, Intermediate and More}}, journal = {Entropy}, volume = {19}, number = {4}, pages = {174}, doi = {10.3390/e19040174}, url = {http://www.mdpi.com/1099-4300/19/4/174}, ) @article(Selby2017AAdjoint, author = {John H. Selby and Bob Coecke}, year = {2017}, title = {{A Diagrammatic Derivation of the Hermitian Adjoint}}, journal = {Foundations of Physics}, volume = {47}, number = {9}, pages = {1191--1207}, doi = {10.1007/s10701-017-0102-7}, url = {https://link.springer.com/article/10.1007/s10701-017-0102-7}, ) @techreport(Selby2020CompositionalCoherenceb, author = {John H Selby and Ciar\IeC{\'a}n M Lee}, year = {2020}, title = {{Compositional resource theories of coherence}}, type = {Technical Report}, doi = {10.22331/q-2020-09-11-319}, ) @article(Selby2018ReconstructingPostulates, author = {John H. Selby and Carlo Maria Scandolo and Bob Coecke}, year = {2021}, title = {Reconstructing quantum theory from diagrammatic postulates}, journal = {{Quantum}}, volume = {5}, pages = {445}, doi = {10.22331/q-2021-04-28-445}, ) @article(Selinger2004TowardsLanguage, author = {Peter Selinger}, year = {2004}, title = {{Towards a quantum programming language}}, journal = {Mathematical Structures in Computer Science}, volume = {14}, number = {4}, pages = {527--586}, doi = {10.1017/S0960129504004256}, ) @article(Selinger2007DaggerAbstract, author = {Peter Selinger}, year = {2007}, title = {{Dagger Compact Closed Categories and Completely Positive Maps. (Extended Abstract)}}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {170}, pages = {139--163}, doi = {10.1016/j.entcs.2006.12.018}, ) @article(SelingerQuantumCalculus, author = {Peter Selinger and Beno\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ı}intopreamble]t Valiron}, title = {{A Lambda Calculus for Quantum Computation with Classical Control}}, journal = {Typed Lambda Calculi and Applications}, doi = {10.1007/1141717026}, ) @article(Tull2020ATHEORY, author = {Sean Tull}, year = {2020}, title = {{A Categorical Reconstruction of Quantum Theory}}, journal = {Logical Methods in Computer Science}, volume = {16}, number = {1}, pages = {39}, doi = {10.23638/LMCS-16(1:4)2020}, url = {https://lmcs.episciences.org/}, ) @article(VanTonder2004AComputation, author = {Van Tonder, Andr\IeC{\'e}}, year = {2004}, title = {{A lambda calculus for quantum computation}}, journal = {SIAM Journal on Computing}, volume = {33}, number = {5}, pages = {1109--1135}, doi = {10.1137/S0097539703432165}, url = {http://epubs.siam.org/doi/10.1137/S0097539703432165}, ) @article(Vanrietvelde2021RoutedCircuits, author = {Augustin Vanrietvelde and Hl\IeC{\'e}r Kristj{\'{a}}nsson and Jonathan Barrett}, year = {2021}, title = {{Routed quantum circuits}}, journal = {Quantum}, volume = {5}, pages = {503}, doi = {10.22331/q-2021-07-13-503}, url = {https://quantum-journal.org/papers/q-2021-07-13-503/}, ) @article(WechsQuantumOrder, author = {Julian Wechs and Hippolyte Dourdent and Alastair A Abbott and Cyril Branciard}, title = {{Quantum circuits with classical versus quantum control of causal order}}, journal = {arXiv preprint arXiv:2101.08796v1}, ) @book(Wilde2013QuantumTheory, author = {Mark M. Wilde}, year = {2013}, title = {{Quantum Information Theory}}, publisher = {Cambridge University Press}, address = {Cambridge}, doi = {10.1017/CBO9781139525343}, url = {http://ebooks.cambridge.org/ref/id/CBO9781139525343}, ) @article(workinp, author = {Matt Wilson and Giulio Chiribella}, title = {{A Mathematical Framework for Higher Order Physical Theories}}, url = {https://qift.weebly.com/publications.html}, ) @article(Wilson2020ASwitches, author = {Matthew Wilson and Giulio Chiribella}, year = {2020}, title = {{A Diagrammatic Approach to Information Transmission in Generalised Switches}}, journal = {arXiv preprint arXiv:2003.08224}, url = {http://arxiv.org/abs/2003.08224}, ) @article(wootters1990local, author = {William K Wootters}, year = {1990}, title = {Local accessibility of quantum states}, journal = {Complexity, entropy and the physics of information}, volume = {8}, pages = {39--46}, ) @article(Yokojima2021ConsequencesSuperchannels, author = {Wataru Yokojima and Marco T\IeC{\'u}lio Quintino and Akihito Soeda and Mio Murao}, year = {2021}, title = {{Consequences of preserving reversibility in quantum superchannels}}, journal = {Quantum}, volume = {5}, pages = {441}, doi = {10.22331/q-2021-04-26-441}, url = {https://quantum-journal.org/papers/q-2021-04-26-441/}, ) @article(Zhao2020QuantumOrderb, author = {Xiaobin Zhao and Yuxiang Yang and Giulio Chiribella}, year = {2020}, title = {{Quantum Metrology with Indefinite Causal Order}}, journal = {Physical Review Letters}, volume = {124}, number = {19}, pages = {190503}, doi = {10.1103/PhysRevLett.124.190503}, url = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.124.190503}, ) @article(Zorzi2016OnPerspective, author = {Margherita Zorzi}, year = {2016}, title = {On quantum lambda calculi: a foundational perspective}, journal = {Mathematical Structures in Computer Science}, volume = {26}, number = {7}, pages = {1107\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{–}intopreamble]1195}, doi = {10.1017/S0960129514000425}, )