Skip to content
cs-conference-ranking.org

Classifying 2-Groups in Homotopy Type Theory.

Perry Hart, Owen Milner

VenueA*LICS
Year2026
ProceedingsLICS
DBLP recordconf/lics/HartM26 ↗

Browse the full LICS paper archive.