• Баловство: игры с материальной культурой

    • Store
  • Get directions
    Business hours
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Categories
Homotopy Type Theory (HoTT) Vol. 1, 2
+3

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
  • Track Orders
  • Favorites
  • Shopping Bag
  • Sign In
Display prices in: USD
Share Tweet Pin
© Баловство: игры с материальной культурой Report abuse