Follow
Martti Karvonen
Title
Cited by
Cited by
Year
Monads on dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 31 (35), 1016-1043, 2016
332016
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
232019
The Way of the Dagger
M Karvonen
arXiv preprint arXiv:1904.10805, 2019
232019
Reversible monadic computing
C Heunen, M Karvonen
Electronic Notes in Theoretical Computer Science 319, 217-237, 2015
172015
Neither Contextuality nor Nonlocality Admits Catalysts
M Karvonen
Physical Review Letters 127 (16), 160402, 2021
162021
Categories of empirical models
M Karvonen
Electronic Proceedings in Theoretical Computer Science 287 (Proceedings of …, 2019
162019
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
152023
Limits in dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 34 (18), 468-513, 2019
132019
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
122018
Categorical composable cryptography
A Broadbent, M Karvonen
International Conference on Foundations of Software Science and Computation …, 2022
102022
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
12023
Uncloneable Quantum Advice
A Broadbent, M Karvonen, S Lord
arXiv preprint arXiv:2309.05155, 2023
12023
Towards a Unified Theory of Time-varying Data
BM Bumpus, J Fairbanks, M Karvonen, W Leal, F Simard
arXiv preprint arXiv:2402.00206, 2024
2024
Inner autoequivalences in general and those of monoidal categories in particular
P Hofstra, M Karvonen
arXiv preprint arXiv:2205.03683, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–15