Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters† - Homotopy theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters† Add to Reading List Document Date: 2018-03-28 14:04:14 Open Document File Size: 139,51 KB Share Result on Facebook

Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†Add to Reading List