Mathys Rennela

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quasilinear Equivalence Checking for Detector Error Models (available as arXiv preprint)	2026-01-01	Paper
Join inverse rig categories for reversible functional programming, and beyond	2024-12-17	Paper
Classical control and quantum circuits in enriched category theory	2022-04-25	Paper
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond	2021-05-20	Paper
Convexity and order in probabilistic call-by-name FPC (available as arXiv preprint)	2020-12-15	Paper
Convexity and order in probabilistic call-by-name FPC	2020-12-15	Paper
Quantum programming with inductive datatypes: causality and affine type theory (available as arXiv preprint)	2020-09-23	Paper
Classical control, quantum circuits and linear logic in enriched category theory (available as arXiv preprint)	2020-05-12	Paper
Classical control, quantum circuits and linear logic in enriched category theory	2020-05-12	Paper
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory (available as arXiv preprint)	2017-11-14	Paper
Complete positivity and natural representation of quantum computations	2016-12-16	Paper
Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras	2016-05-13	Paper
Operator Algebras in Quantum Computation	2015-10-22	Paper
Operator Algebras in Quantum Computation (available as arXiv preprint)	2015-01-01	Paper

Research outcomes over time

This page was built for person: Mathys Rennela