First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†Add to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 139,51 KBShare Document on Facebook |