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 April 4, 2024 at 11:16:12. See the history of this page for a list of all contributions to it.