Reversible computing is a computational paradigm in which computations a...
As we are entering the era of real-world small quantum computers, findin...
Inductive datatypes in programming languages allow users to define usefu...
We describe categorical models of a circuit-based (quantum) functional p...