Matches in DBpedia 2016-04 for { <http://homotopytypetheory.org/book/> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- book author "The Univalent Foundations Program".
- book author "Univalent Foundations Program".
- book isCitedBy Homotopy_type_theory.
- book location "Princeton, NJ".
- book mr "3204653".
- book page "115".
- book page "4".
- book publisher Institute_for_Advanced_Study.
- book publisher "Institute for Advanced Study".
- book title "Homotopy Type Theory: Univalent Foundations of Mathematics".
- book url book.
- book url "http://homotopytypetheory.org/book/".
- book year "2013".