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

Browsing by Author NYAPATHI, HARSHA

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

Showing results 1 to 1 of 1

Issue Date	Title	Author(s)
Apr-2020	An Overview of Homotopy Type Theory and Formal Methods	Gadgil, Siddhartha; NYAPATHI, HARSHA; Dept. of Mathematics; 20151058

Showing results 1 to 1 of 1