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
302016
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
162019
Reversible monadic computing
C Heunen, M Karvonen
Electronic Notes in Theoretical Computer Science 319, 217-237, 2015
152015
The Way of the Dagger
M Karvonen
arXiv preprint arXiv:1904.10805, 2019
102019
Categories of empirical models
M Karvonen
Electronic Proceedings in Theoretical Computer Science 287 (Proceedings of …, 2019
102019
Categorical composable cryptography
A Broadbent, M Karvonen
International Conference on Foundations of Software Science and Computation …, 2022
62022
Neither Contextuality nor Nonlocality Admits Catalysts
M Karvonen
Physical Review Letters 127 (16), 160402, 2021
62021
Limits in dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 34 (18), 468-513, 2019
62019
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
62018
Biproducts without pointedness
M Karvonen
Cahiers de topologie et géométrie différentielle catégoriques 61 (3), 229-238, 2020
5*2020
Closing Bell: Boxing black box simulations in the resource theory of contextuality
RS Barbosa, M Karvonen, S Mansfield
arXiv preprint arXiv:2104.11241, 2021
32021
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
The system can't perform the operation now. Try again later.
Articles 1–13