Login / Signup
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
Jaap van Oosten
Published in:
Bull. Symb. Log. (2014)
Keyphrases
</>
open source
artificial intelligence
theoretical framework
topics covered include
book covers
grounded theory
e learning
website
computer science
core concepts
fourth grade
elementary school
computer assisted instruction
subject matter
multiple choice
elementary students