Submitted by vladimir on Thu, 2015-04-02 13:36 Publication Type: Journal Article Authors: Voevodsky, Vladimir Source: a modified version of an NSF grant application, p.1–12 (2010) URL:http://www.math.ias.edu/vladimir/files/univalent_foundations_project.pdf