Nijmegen Quantum Logic Group

home people seminar

Algebraic Effects, Linearity, and Quantum Programming Languages

01 Jan 2015 [ proceedings (POPL) · preprint ]

We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming languages. We use the framework as follows: