Skip to content
cs-conference-ranking.org

Constructions with Non-Recursive Higher Inductive Types.

Nicolai Kraus

VenueA*LICS
Year2016
ProceedingsLICS
DBLP recordconf/lics/Kraus16 ↗

Browse the full LICS paper archive.