nLab Gilles Barthe

Selected writings

Selected writings

On type equivalence:

On setoids in type theory:

Introducing the quantum programming language CoqQ:

Understanding the linear logic-sector of bunched logic as a kind of quantum logic:

category: people

Last revised on June 6, 2023 at 18:35:46. See the history of this page for a list of all contributions to it.