On categorical semantics of quantum programming languages on von Neumann algebras
for the quantum lambda-calculus:
and for QPL:
On CD-categories (gs-monoidal categories) and what came to be known as Markov categories (affine CD categories):
Last revised on February 8, 2025 at 14:41:39. See the history of this page for a list of all contributions to it.