Internal Universes in Models of Homotopy Type Theory

Research output: Other contributionNet publication - Internet publicationResearch

Documents

Links

Original languageEnglish
Publication year23 Jan 2018
PublisherarXiv.org
Number of pages17
StatePublished - 23 Jan 2018
SeriesarXiv

    Research areas

  • cs.LO, F.4.1; F.3.2

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 121317800