Skip to content
cs-conference-ranking.org

Names and Symmetry in Computer Science (Invited Tutorial).

Andrew M. Pitts

VenueA*LICS
Year2015
ProceedingsLICS
DBLP recordconf/lics/Pitts15 ↗

Browse the full LICS paper archive.