Mathys Rennela

According to our database, Mathys Rennela authored at least 13 papers between 2014 and 2023.

Collaborative distances:

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

2023

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Sebastiaan Brand, Alfons Laarman, Vedran Dunjko

Quantum, March, 2023

2021

Join inverse rig categories for reversible functional programming, and beyond.

Robin Kaarsgaard, Mathys Rennela

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.

Mathys Rennela, Sam Staton

Log. Methods Comput. Sci., 2020

Convexity and Order in Probabilistic Call-by-Name FPC.

Mathys Rennela

Log. Methods Comput. Sci., 2020

Hybrid divide-and-conquer approach for tree search algorithms.

Mathys Rennela, Alfons Laarman, Vedran Dunjko

CoRR, 2020

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

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

2018

Classical Control and Quantum Circuits in Enriched Category Theory.

Mathys Rennela, Sam Staton

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

2016

Information cost of quantum communication protocols.

Iordanis Kerenidis, Mathieu Laurière, Francois Le Gall, Mathys Rennela

Quantum Inf. Comput., 2016

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.

Mathys Rennela, Sam Staton, Robert Furber

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2015

Complete Positivity and Natural Representation of Quantum Computations.

Mathys Rennela, Sam Staton

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

Operator Algebras in Quantum Computation.

Mathys Rennela

CoRR, 2015

2014

Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras.

Mathys Rennela

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Privacy in Quantum Communication Complexity.

Iordanis Kerenidis, Mathieu Laurière, François Le Gall, Mathys Rennela

CoRR, 2014