First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | Formalisations Using Two-Level Type Theory∗ Danil Annenkov1 , Paolo Capriotti2 , and Nicolai Kraus2 1 2 University of CopenhagenAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 357,43 KBShare Document on Facebook |