Douglas Youvan

• Relativistic Quantum Computation and Homotopy Type Theory
• Youvan Preprint Titles