Skip to content
cs-conference-ranking.org

Normalization for Multimodal Type Theory.

Daniel Gratzer

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

Browse the full LICS paper archive.