Skip to content
cs-conference-ranking.org

Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

VenueA*LICS
Year2018
ProceedingsLICS
DBLP recordconf/lics/BuchholtzDR18 ↗

Browse the full LICS paper archive.