Obserwuj
Martti Karvonen
Tytuł
Cytowane przez
Cytowane przez
Rok
Monads on dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 31 (35), 1016-1043, 2016
332016
The Way of the Dagger
M Karvonen
arXiv preprint arXiv:1904.10805, 2019
242019
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
Neither Contextuality nor Nonlocality Admits Catalysts
M Karvonen
Physical Review Letters 127 (16), 160402, 2021
172021
Reversible monadic computing
C Heunen, M Karvonen
Electronic Notes in Theoretical Computer Science 319, 217-237, 2015
172015
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
Towards a Unified Theory of Time-varying Data
BM Bumpus, J Fairbanks, M Karvonen, W Leal, F Simard
arXiv preprint arXiv:2402.00206, 2024
12024
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
Inner autoequivalences in general and those of monoidal categories in particular
P Hofstra, M Karvonen
arXiv preprint arXiv:2205.03683, 2022
2022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–15