Skip to content
cs-conference-ranking.org

Syllepsis in Homotopy Type Theory.

Kristina Sojakova, G. A. Kavvos

VenueA*LICS
Year2022
ProceedingsLICS
DBLP recordconf/lics/SojakovaK22 ↗

Browse the full LICS paper archive.