Schreiber Quantum Certification via Linear Homotopy Types

A project that we are developing at CQTS:

The monadic aspect:

On the categorical semantics:

On the formalization of unitarity and dagger-structure:

The full picture, eventually to become a book (unfinished):

Brief survey:

Companion articles:

Expository presentations:

Related talks:

Precursor discussion:

Last revised on November 16, 2023 at 11:07:57. See the history of this page for a list of all contributions to it.