Skip to content
cs-conference-ranking.org

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT.

Nicolai Kraus

VenueA*LICS
Year2021
ProceedingsLICS
DBLP recordconf/lics/Kraus21 ↗

Browse the full LICS paper archive.