Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

One perspective on quantum algorithms is that they are classical algorithms having access
to a special kind of memory with exotic properties. This perspective suggests that, even in …

Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

We present a universal construction that relates reversible dynamics on open systems to
arbitrary dynamics on closed systems: the restriction affine completion of a monoidal …

We provide a universal construction of the category of finite-dimensional C*-algebras and
completely positive trace-nonincreasing maps from the rig category of finite-dimensional …

During the past decade, reversible programming languages have been formalized using
various established semantic frameworks. However, these semantics fail to effectively …

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 …

This paper is concerned with categorical structures for reversible computation. In particular,
we focus on a typed, functional reversible language based on Theseus. We discuss how join …

During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …

In this thesis, we are interested in the development of a Curry-Howard correspondence for
quantum computing, allowing to represent quantum types andquantum control-flow. In the …