Digital Repository at Indian Institute of Science Education and Research Pune: Browsing DSpace

Browsing by Author PRASAD, VARUN

Jump to a point in the index:
Or type in a year:

Showing results 1 to 1 of 1

Issue Date	Title	Author(s)
Mar-2017	Homotopy Type Theory and The Univalent Foundations of Mathematics	HOGADI, AMIT; PRASAD, VARUN; Dept. of Mathematics; 20111028

Showing results 1 to 1 of 1