Monads on dagger categories C Heunen, M Karvonen Theory and Applications of Categories 31 (35), 1016-1043, 2016 | 34 | 2016 |
The Way of the Dagger M Karvonen arXiv preprint arXiv:1904.10805, 2019 | 26 | 2019 |
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 | 23 | 2019 |
Neither Contextuality nor Nonlocality Admits Catalysts M Karvonen Physical Review Letters 127 (16), 160402, 2021 | 17 | 2021 |
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 | 16 | 2019 |
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 | 15 | 2023 |
Reversible effects as inverse arrows C Heunen, R Kaarsgaard, M Karvonen Electronic Notes in Theoretical Computer Science 341, 179-199, 2018 | 14 | 2018 |
Limits in dagger categories C Heunen, M Karvonen Theory and Applications of Categories 34 (18), 468-513, 2019 | 13 | 2019 |
Categorical composable cryptography A Broadbent, M Karvonen International Conference on Foundations of Software Science and Computation …, 2022 | 10 | 2022 |
Biproducts without pointedness M Karvonen Cahiers de topologie et géométrie différentielle catégoriques 61 (3), 229-238, 2020 | 6* | 2020 |
Categorical composable cryptography: extended version A Broadbent, M Karvonen Logical Methods in Computer Science 19 (4), 30:1–30:46, 2023 | 2 | 2023 |
Towards a Unified Theory of Time-varying Data BM Bumpus, J Fairbanks, M Karvonen, W Leal, F Simard arXiv preprint arXiv:2402.00206, 2024 | 1 | 2024 |
Uncloneable Quantum Advice A Broadbent, M Karvonen, S Lord arXiv preprint arXiv:2309.05155, 2023 | 1 | 2023 |
Inner autoequivalences in general and those of monoidal categories in particular P Hofstra, M Karvonen arXiv preprint arXiv:2205.03683, 2022 | | 2022 |