Skip to content
cs-conference-ranking.org

From Categorical Logic to Facebook Engineering.

Peter W. O'Hearn

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

Browse the full LICS paper archive.