Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d isCitedBy Equivalent_definitions_of_mathematical_structures.
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d last "The Univalent Foundations Program".
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d place "Institute for Advanced Study".
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d publisher book.
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d title "Homotopy Type Theory: Univalent Foundations of Mathematics".
- cb1bf0d77062d84d4d861a134e7e0e81c9531b2e1b198bc40a45e2f3e0befe4d year "2013".