Skip to content
cs-conference-ranking.org

Dialectica models of type theory.

Sean K. Moss, Tamara von Glehn

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

Browse the full LICS paper archive.