First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1Add to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 185,41 KBShare Document on Facebook |