Search Results for ''

published presentations and documents on DocSlides.

Phantom Types for Quantum Programs

by giovanna-bartolotta

Phantom Types for Quantum Programs Coq for Progra...