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:

category: people

Last revised on May 12, 2021 at 08:47:41. See the history of this page for a list of all contributions to it.