Categories
Homotopy Type Theory (HoTT) Vol. 1, 2
00252
$42
In stock
1
Product Details
Homotopy Type Theory (HoTT) is the most advanced programming language in the domain of intersection of several theories: algebraic topology, homological algebra, higher category theory, mathematical logic, and theoretical computer science. That is why it can be considered as a language of space, as it can encode any existent mathematics.
--
Hardcover books, made by hands :)
Save this product for later
Display prices in:
USD
