EnglishbookID: b4de4bb2
Homotopy Type Theory: Univalent Foundations of Mathematics
Category
BY SUBJECT / Theoretical Computer Science
External Link
https://homotopytypetheory.org/book/Your Library
BY SUBJECTTheoretical Computer Science
Open Resource ↗