Martti Karvonen

According to our database, Martti Karvonen authored at least 9 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards a Unified Theory of Time-Varying Data.

Benjamin Merlin Bumpus, James Fairbanks, Martti Karvonen, Wilmer Leal, Frédéric Simard

CoRR, 2024

2023

Categorical composable cryptography: extended version.

Anne Broadbent, Martti Karvonen

Log. Methods Comput. Sci., 2023

Uncloneable Quantum Advice.

Anne Broadbent, Martti Karvonen, Sébastien Lord

CoRR, 2023

2022

Categorical composable cryptography.

Anne Broadbent, Martti Karvonen

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Closing Bell: Boxing black box simulations in the resource theory of contextuality.

Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

CoRR, 2021

2019

A comonadic view of simulation and quantum resources.

Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Reversible Effects as Inverse Arrows.

Chris Heunen, Robin Kaarsgaard, Martti Karvonen

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Categories of empirical models.

Martti Karvonen

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2015

Reversible Monadic Computing.

Chris Heunen, Martti Karvonen

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015