Monads on dagger categories C Heunen, M Karvonen Theory and Applications of Categories 31 (35), 1016-1043, 2016 | 32 | 2016 |
A comonadic view of simulation and quantum resources S Abramsky, RS Barbosa, M Karvonen, S Mansfield 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 22 | 2019 |
The Way of the Dagger M Karvonen arXiv preprint arXiv:1904.10805, 2019 | 18 | 2019 |
Reversible monadic computing C Heunen, M Karvonen Electronic Notes in Theoretical Computer Science 319, 217-237, 2015 | 17 | 2015 |
Categories of empirical models M Karvonen Electronic Proceedings in Theoretical Computer Science 287 (Proceedings of …, 2019 | 15 | 2019 |
Neither Contextuality nor Nonlocality Admits Catalysts M Karvonen Physical Review Letters 127 (16), 160402, 2021 | 11 | 2021 |
Closing Bell Boxing Black Box Simulations in the Resource Theory of Contextuality RS Barbosa, M Karvonen, S Mansfield Samson Abramsky on Logic and Structure in Computer Science and Beyond, 475-529, 2023 | 10 | 2023 |
Limits in dagger categories C Heunen, M Karvonen Theory and Applications of Categories 34 (18), 468-513, 2019 | 10 | 2019 |
Reversible effects as inverse arrows C Heunen, R Kaarsgaard, M Karvonen Electronic Notes in Theoretical Computer Science 341, 179-199, 2018 | 10 | 2018 |
Categorical composable cryptography A Broadbent, M Karvonen International Conference on Foundations of Software Science and Computation …, 2022 | 9 | 2022 |
Biproducts without pointedness M Karvonen Cahiers de topologie et géométrie différentielle catégoriques 61 (3), 229-238, 2020 | 6* | 2020 |
Uncloneable Quantum Advice A Broadbent, M Karvonen, S Lord arXiv preprint arXiv:2309.05155, 2023 | 1 | 2023 |
Categorical composable cryptography: extended version A Broadbent, M Karvonen arXiv preprint arXiv:2208.13232, 2022 | | 2022 |
Inner autoequivalences in general and those of monoidal categories in particular P Hofstra, M Karvonen arXiv preprint arXiv:2205.03683, 2022 | | 2022 |