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.