Unabridged
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
Chapter 1 - Introduction
Ready to play
0:00
13h 53m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
251 MB