Skip to content
cs-conference-ranking.org

Canonicity for 2-dimensional type theory.

Daniel R. Licata, Robert Harper

VenueA*POPL
Year2012
ProceedingsPOPL
DBLP recordconf/popl/LicataH12 ↗

Browse the full POPL paper archive.