@inproceedings(Abramsky2004,
 author       = {S.~Abramsky and B.~Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@incollection(cqm,
 author       = {S.~Abramsky and B.~Coecke},
 year         = {2008},
 title        = {Categorical Quantum Mechanics},
 editor       = {K.~Engesser and D.~M. Gabbay and D.~Lehmann},
 booktitle    = {Handbook of Quantum Logic and Quantum Structures: Quantum Logic},
 publisher    = {Elsevier},
 pages        = {261--324},
)
@article(Krumm-Muller,
 author       = {H.~Barnum and J.~Barrett and M.~Krumm and M.~P. M\"uller},
 year         = {2015},
 title        = {Entropy, majorization and thermodynamics in general probabilistic theories},
 journal      = {arXiv:1508.03107},
)
@article(Barnum-1,
 author       = {H.~Barnum and J.~Barrett and M.~Leifer and A.~Wilce},
 year         = {2007},
 title        = {Generalized No-Broadcasting Theorem},
 journal      = {Phys. Rev. Lett.},
 volume       = {99},
 pages        = {240501},
 doi          = {10.1103/PhysRevLett.99.240501},
)
@article(Entropy-Barnum,
 author       = {H.~Barnum and J.~Barrett and L.~Orloff~Clark and M.~Leifer and R.~Spekkens and N.~Stepanik and A.~Wilce and R.~Wilke},
 year         = {2010},
 title        = {Entropy and information causality in general probabilistic theories},
 journal      = {New Journal of Physics},
 volume       = {12},
 number       = {3},
 pages        = {033024},
 doi          = {10.1088/1367-2630/12/3/033024},
)
@article(Barnum-self,
 author       = {H.~Barnum and C.~P. Gaebler and A.~Wilce},
 year         = {2013},
 title        = {Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories},
 journal      = {Foundations of Physics},
 volume       = {43},
 number       = {12},
 pages        = {1411--1427},
 doi          = {10.1007/s10701-013-9752-2},
)
@article(Barnum-interference,
 author       = {H.~Barnum and M.~P. M\"uller and C.~Ududec},
 year         = {2014},
 title        = {Higher-order interference and single-system postulates characterizing quantum theory},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {12},
 pages        = {123029},
 doi          = {10.1088/1367-2630/16/12/123029},
)
@article(Barnum-2,
 author       = {H.~Barnum and A.~Wilce},
 year         = {2011},
 title        = {Information Processing in Convex Operational Theories},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {270},
 number       = {1},
 pages        = {3--15},
 doi          = {10.1016/j.entcs.2011.01.002},
 note         = {Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008)},
)
@article(Barrett,
 author       = {J.~Barrett},
 year         = {2007},
 title        = {Information processing in generalized probabilistic theories},
 journal      = {Phys. Rev. A},
 volume       = {75},
 pages        = {032304},
 doi          = {10.1103/PhysRevA.75.032304},
)
@article(Birkhoff,
 author       = {G.~Birkhoff},
 year         = {1946},
 title        = {Tres observaciones sobre el algebra lineal},
 journal      = {Univ. Nac. Tucum{\'a}n Rev. Ser. A},
 volume       = {5},
 pages        = {147--151},
)
@article(Bocchieri,
 author       = {P.~Bocchieri and A.~Loinger},
 year         = {1959},
 title        = {Ergodic Foundation of Quantum Statistical Mechanics},
 journal      = {Phys. Rev.},
 volume       = {114},
 pages        = {948--951},
 doi          = {10.1103/PhysRev.114.948},
)
@article(BrandaoQIP2015,
 author       = {Brand\~ao, F.~G. S.~L. and M.~Cramer},
 year         = {2015},
 title        = {Equivalence of Statistical Mechanical Ensembles for Non-Critical Quantum Systems},
 journal      = {arXiv:1502.03263},
)
@article(Brandao,
 author       = {Brand\~ao, F.~G. S.~L. and M.~Horodecki and N.~Ng and J.~Oppenheim and S.~Wehner},
 year         = {2015},
 title        = {The second laws of quantum thermodynamics},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {112},
 number       = {11},
 pages        = {3275--3279},
 doi          = {10.1073/pnas.1411728112},
)
@inproceedings(Chiribella14,
 author       = {G.~Chiribella},
 year         = {2014},
 title        = {Dilation of states and processes in operational-probabilistic theories},
 editor       = {B.~Coecke and I.~Hasuo and P.~Panangaden},
 booktitle    = {{\rm Proceedings 11th workshop on} Quantum Physics and Logic, {\rm Kyoto, Japan, 4-6th June 2014}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {172},
 publisher    = {Open Publishing Association},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.172.1},
)
@article(Chiribella-purification,
 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},
)
@article(Chiribella-informational,
 author       = {G.~Chiribella and G.~M. D'Ariano and P.~Perinotti},
 year         = {2011},
 title        = {Informational derivation of quantum theory},
 journal      = {Phys. Rev. A},
 volume       = {84},
 pages        = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(Chiribella-educational,
 author       = {G.~Chiribella and G.~M. D'Ariano and P.~Perinotti},
 year         = {2012},
 title        = {Quantum theory, namely the pure and reversible theory of information},
 journal      = {Entropy},
 volume       = {14},
 number       = {10},
 pages        = {1877--1893},
 doi          = {10.3390/e14101877},
)
@incollection(QuantumFromPrinciples,
 author       = {G.~Chiribella and G.~M. D'Ariano and P.~Perinotti},
 year         = {2016},
 title        = {Quantum from principles},
 editor       = {G.~Chiribella and R.~W. Spekkens},
 booktitle    = {Quantum Theory: Informational Foundations and Foils},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {171--222},
 doi          = {10.1007/978-94-017-7303-4},
)
@article(Majorization,
 author       = {G.~Chiribella and C.~M. Scandolo},
 title        = {Towards an axiomatic foundation of (quantum) thermodynamics},
 note         = {In preparation},
)
@article(Scandolo14,
 author       = {G.~Chiribella and C.~M. Scandolo},
 year         = {2015},
 title        = {Conservation of information and the foundations of quantum mechanics},
 journal      = {EPJ Web of Conferences},
 volume       = {95},
 pages        = {03003},
 doi          = {10.1051/epjconf/20149503003},
)
@article(Chiribella-Scandolo15-1,
 author       = {G.~Chiribella and C.~M. Scandolo},
 year         = {2015},
 title        = {Entanglement and thermodynamics in general probabilistic theories},
 journal      = {arXiv:1504.07045},
)
@article(Coecke-Picturalism,
 author       = {B.~Coecke},
 year         = {2010},
 title        = {Quantum picturalism},
 journal      = {Contemporary Physics},
 volume       = {51},
 pages        = {59--83},
 doi          = {10.1080/00107510903257624},
)
@article(Spekkens,
 author       = {B.~Coecke and T.~Fritz and R.~W. Spekkens},
 year         = {2014},
 title        = {{A mathematical theory of resources}},
 journal      = {arXiv:1409.5531},
)
@incollection(Categories-physicist,
 author       = {B.~Coecke and \'E.~O. Paquette},
 year         = {2011},
 title        = {Categories for the Practising Physicist},
 editor       = {B.~Coecke},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {173--286},
 doi          = {10.1007/978-3-642-12821-9\_3},
)
@article(Classical-structures,
 author       = {B.~Coecke and D.~Pavlovic and J.~Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
)
@incollection(D'Ariano,
 author       = {G.~M. D'Ariano},
 year         = {2010},
 title        = {Probabilistic theories: what is special about quantum mechanics?},
 editor       = {A.~Bokulich and G.~Jaeger},
 booktitle    = {Philosophy of Quantum Information and Entanglement},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 pages        = {85--126},
 doi          = {10.1017/CBO9780511676550.007},
)
@article(Fermionic1,
 author       = {G.~M. D'Ariano and F.~Manessi and P.~Perinotti and A.~Tosini},
 year         = {2014},
 title        = {Fermionic computation is non-local tomographic and violates monogamy of entanglement},
 journal      = {EPL (Europhysics Letters)},
 volume       = {107},
 number       = {2},
 pages        = {20009},
 doi          = {10.1209/0295-5075/107/20009},
)
@article(Fermionic2,
 author       = {G.~M. D'Ariano and F.~Manessi and P.~Perinotti and A.~Tosini},
 year         = {2014},
 title        = {The {F}eynman problem and fermionic entanglement: Fermionic theory versus qubit theory},
 journal      = {International Journal of Modern Physics A},
 volume       = {29},
 number       = {17},
 pages        = {1430025},
 doi          = {10.1142/S0217751X14300257},
)
@article(Faist-Landauer,
 author       = {P.~Faist and F.~Dupuis and J.~Oppenheim and R.~Renner},
 year         = {2015},
 title        = {The minimal work cost of information processing},
 journal      = {Nature Communications},
 volume       = {6},
 doi          = {10.1038/ncomms8669},
)
@book(Mahler-book,
 author       = {J.~Gemmer and M.~Michel and G.~Mahler},
 year         = {2009},
 title        = {Quantum Thermodynamics: Emergence of Thermodynamic Behavior Within Composite Quantum Systems},
 series       = {Lecture Notes in Physics},
 volume       = {784},
 publisher    = {Springer Verlag},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-70510-9},
)
@article(Gemmer-Otte-Mahler,
 author       = {J.~Gemmer and A.~Otte and G.~Mahler},
 year         = {2001},
 title        = {Quantum Approach to a Derivation of the Second Law of Thermodynamics},
 journal      = {Phys. Rev. Lett.},
 volume       = {86},
 pages        = {1927--1930},
 doi          = {10.1103/PhysRevLett.86.1927},
)
@article(Canonical-typicality,
 author       = {S.~Goldstein and J.~L. Lebowitz and R.~Tumulka and N.~Zangh\`i},
 year         = {2006},
 title        = {Canonical Typicality},
 journal      = {Phys. Rev. Lett.},
 volume       = {96},
 pages        = {050403},
 doi          = {10.1103/PhysRevLett.96.050403},
)
@article(Nicole,
 author       = {G.~Gour and M.~P. M\"uller and V.~Narasimhachar and R.~W. Spekkens and N.~Yunger~Halpern},
 year         = {2015},
 title        = {The resource theory of informational nonequilibrium in thermodynamics},
 journal      = {Physics Reports},
 volume       = {583},
 pages        = {1--58},
 doi          = {10.1016/j.physrep.2015.04.003},
)
@article(Hardy-Littlewood-Polya1929,
 author       = {G.~H. Hardy and J.~E. Littlewood and G.~P{\'o}lya},
 year         = {1929},
 title        = {Some simple inequalities satisfied by convex functions},
 journal      = {Messenger Math},
 volume       = {58},
 number       = {145--152},
 pages        = {310},
)
@article(Hardy-informational-1,
 author       = {L.~Hardy},
 year         = {2001},
 title        = {Quantum theory from five reasonable axioms},
 journal      = {arXiv quant-ph/0101012},
)
@incollection(hardy2011,
 author       = {L.~Hardy},
 year         = {2011},
 title        = {Foliable operational structures for general probabilistic theories},
 editor       = {H.~Halvorson},
 booktitle    = {Deep Beauty: Understanding the Quantum World through Mathematical Innovation},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 pages        = {409--442},
 doi          = {10.1017/CBO9780511976971.013},
)
@article(Hardy-informational-2,
 author       = {L.~Hardy},
 year         = {2011},
 title        = {Reformulating and reconstructing quantum theory},
 journal      = {arXiv:1104.2066},
)
@incollection(hardy2013,
 author       = {L.~Hardy},
 year         = {2016},
 title        = {Reconstructing quantum theory},
 editor       = {G.~Chiribella and R.~W. Spekkens},
 booktitle    = {Quantum Theory: Informational Foundations and Foils},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {223--248},
 doi          = {10.1007/978-94-017-7303-4},
)
@article(Horodecki-Oppenheim-2,
 author       = {M.~Horodecki and J.~Oppenheim},
 year         = {2013},
 title        = {Fundamental limitations for quantum and nanoscale thermodynamics},
 journal      = {Nature Communications},
 volume       = {4},
 doi          = {10.1038/ncomms3059},
)
@article(Entropy-Kimura,
 author       = {G.~Kimura and K.~Nuida and H.~Imai},
 year         = {2010},
 title        = {Distinguishability measures and entropies for general probabilistic theories},
 journal      = {Reports on Mathematical Physics},
 volume       = {66},
 number       = {2},
 pages        = {175--206},
 doi          = {10.1016/S0034-4877(10)00025-X},
)
@article(Krumm-thesis,
 author       = {M.~Krumm},
 year         = {2015},
 title        = {Thermodynamics and the Structure of Quantum Theory as a Generalized Probabilistic Theory},
 journal      = {arXiv:1508.03299},
 note         = {Master's thesis},
)
@phdthesis(Seth-Lloyd,
 author       = {S.~Lloyd},
 year         = {1988},
 title        = {Black Holes, Demons, and the Loss of Coherence},
 school       = {Rockfeller University},
 url          = {http://meche.mit.edu/documents/slloyd_thesis.pdf},
)
@article(Lubkin,
 author       = {E.~Lubkin and T.~Lubkin},
 year         = {1993},
 title        = {Average quantal behavior and thermodynamic isolation},
 journal      = {International Journal of Theoretical Physics},
 volume       = {32},
 number       = {6},
 pages        = {933--943},
 doi          = {10.1007/BF01215300},
)
@book(Olkin,
 author       = {A.~W. Marshall and I.~Olkin and B.~C. Arnold},
 year         = {2011},
 title        = {Inequalities: Theory of Majorization and Its Applications},
 series       = {Springer Series in Statistics},
 publisher    = {Springer},
 address      = {New York},
 doi          = {10.1007/978-0-387-68276-1},
)
@article(Dahlsten,
 author       = {M.~P. M\"uller and O.~C.~O. Dahlsten and V.~Vedral},
 year         = {2012},
 title        = {Unifying Typical Entanglement and Coin Tossing: on Randomization in Probabilistic Theories},
 journal      = {Communications in Mathematical Physics},
 volume       = {316},
 number       = {2},
 pages        = {441--487},
 doi          = {10.1007/s00220-012-1605-x},
)
@article(Concentration-measure,
 author       = {M.~P. M\"uller and D.~Gross and J.~Eisert},
 year         = {2011},
 title        = {Concentration of Measure for Quantum States with a Fixed Expectation Value},
 journal      = {Communications in Mathematical Physics},
 volume       = {303},
 number       = {3},
 pages        = {785--824},
 doi          = {10.1007/s00220-011-1205-1},
)
@article(Muller3D,
 author       = {M.~P. M\"uller and L.~Masanes},
 year         = {2013},
 title        = {Three-dimensionality of space and the quantum bit: an information-theoretic approach},
 journal      = {New Journal of Physics},
 volume       = {15},
 number       = {5},
 pages        = {053040},
 doi          = {10.1088/1367-2630/15/5/053040},
)
@article(Muller-blackhole,
 author       = {M.~P. M\"uller and J.~Oppenheim and O.~C.~O. Dahlsten},
 year         = {2012},
 title        = {The black hole information problem beyond quantum theory},
 journal      = {Journal of High Energy Physics},
 volume       = {2012},
 number       = {9},
 eid          = {116},
 doi          = {10.1007/JHEP09(2012)116},
)
@book(Nielsen-Chuang,
 author       = {M.~A. Nielsen and I.~L. Chuang},
 year         = {2010},
 title        = {Quantum computation and quantum information},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511976667},
)
@article(Ozawa,
 author       = {M.~Ozawa},
 year         = {1984},
 title        = {Quantum measuring processes of continuous observables},
 journal      = {Journal of Mathematical Physics},
 volume       = {25},
 number       = {1},
 pages        = {79--87},
 doi          = {10.1063/1.526000},
)
@book(Naimark,
 author       = {V.~Paulsen},
 year         = {2002},
 title        = {Completely bounded maps and operator algebras},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511546631},
)
@book(PironBook,
 author       = {C.~Piron},
 year         = {1976},
 title        = {Foundations of quantum physics},
 series       = {Mathematical Physics Monograph Series},
 publisher    = {Benjamin-Cummings Publishing Company},
)
@article(Popescu-Short-Winter,
 author       = {S.~Popescu and A.~J. Short and A.~Winter},
 year         = {2006},
 title        = {Entanglement and the foundations of statistical mechanics},
 journal      = {Nature Physics},
 volume       = {2},
 number       = {11},
 pages        = {754--758},
 doi          = {10.1038/nphys444},
)
@mastersthesis(Tesi,
 author       = {C.~M. Scandolo},
 year         = {2014},
 title        = {Entanglement and thermodynamics in general probabilistic theories},
 school       = {Universit\`a degli Studi di Padova},
 address      = {Italy},
 url          = {http://tesi.cab.unipd.it/46015/1/Scandolo_carlo_maria.pdf},
)
@incollection(Selinger,
 author       = {P.~Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 editor       = {B.~Coecke},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {289--356},
 doi          = {10.1007/978-3-642-12821-9\_4},
)
@article(Entropy-Short,
 author       = {A.~J. Short and S.~Wehner},
 year         = {2010},
 title        = {Entropy in general physical theories},
 journal      = {New Journal of Physics},
 volume       = {12},
 number       = {3},
 pages        = {033023},
 doi          = {10.1088/1367-2630/12/3/033023},
)
@article(Stinespring,
 author       = {W.~F. Stinespring},
 year         = {1955},
 title        = {Positive functions on {C}*-algebras},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 number       = {2},
 pages        = {211--216},
 doi          = {10.1090/S0002-9939-1955-0069403-4},
)
@book(Thirring,
 author       = {W.~Thirring},
 year         = {2002},
 title        = {Quantum mathematical physics},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-662-05008-8},
)
@article(Uhlmann1,
 author       = {A.~Uhlmann},
 year         = {1971},
 title        = {S{\"a}tze {\"u}ber {D}ichtematrizen},
 journal      = {Wiss. Z. Karl-Marx Univ. Leipzig},
 volume       = {20},
 pages        = {633--637},
)
@article(Uhlmann2,
 author       = {A.~Uhlmann},
 year         = {1972},
 title        = {Endlich-dimensionale {D}ichtematrizen {I}},
 journal      = {Wiss. Z. der Karl-Marx Univ. Leipzig.},
 volume       = {21},
 pages        = {421--452},
)
@article(Uhlmann3,
 author       = {A.~Uhlmann},
 year         = {1973},
 title        = {Endlich-dimensionale {D}ichtematrizen {II}},
 journal      = {Wiss. Z. Karl-Marx-Univ. Leipzig},
 volume       = {22},
 pages        = {139--177},
)