Mathys Rennela

From MaRDI portal
Person:283771

Available identifiers

zbMath Open rennela.mathysMaRDI QIDQ283771

List of research outcomes





PublicationDate of PublicationType
Join inverse rig categories for reversible functional programming, and beyond2024-12-17Paper
Classical control and quantum circuits in enriched category theory2022-04-25Paper
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond2021-05-20Paper
https://portal.mardi4nfdi.de/entity/Q51402652020-12-15Paper
Quantum programming with inductive datatypes: causality and affine type theory2020-09-23Paper
https://portal.mardi4nfdi.de/entity/Q51095202020-05-12Paper
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory2017-11-14Paper
Complete positivity and natural representation of quantum computations2016-12-16Paper
Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras2016-05-13Paper
Operator Algebras in Quantum Computation2015-10-22Paper

Research outcomes over time

This page was built for person: Mathys Rennela

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:283771&oldid=7056424"
Powered by MediaWiki