Title: Invitation to Computational Homotopy
Subjects: Homotopy theory