Title: Relativistic Quantum Computation and Homotopy Type Theory
Subjects: Mathematics, Physics