nLab Ross Duncan

Selected writings

Selected writings

On quantum logic as the linear logic internal language of symmetric monoidal categories:

A quantum programming language based on linear type theory:

On quantum information theory via dagger-compact categories and introducing the ZX-calculus motivated form measurement-based quantum computation:

category: people

Last revised on August 15, 2023 at 08:40:05. See the history of this page for a list of all contributions to it.