18 citations · 71 across the 11 of their papers we have counts for
5 papers · 1 filter
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
Robin Kaarsgaard, Mathys Rennela
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and…
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, Mathys Rennela +1
Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive dat…
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Mathys Rennela, Sam Staton
We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire b…
Convexity and Order in Probabilistic Call-by-Name FPC
Mathys Rennela
Kegelspitzen are mathematical structures coined by Keimel and Plotkin, in order to encompass the structure of a convex set and the structure of a dcpo. In this paper, we ask oursel…
Operator Algebras in Quantum Computation
Mathys Rennela
In this master thesis, I discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science.