V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports an - Saint-Petersburg - Document - PDFSEARCH.IO

First Page	Meta Content
	V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports an Add to Reading List Document Date: 2016-05-19 00:35:17 Open Document File Size: 280,62 KB Share Result on Facebook

V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports anAdd to Reading List