Skip to content
cs-conference-ranking.org

Second-Order and Dependently-Sorted Abstract Syntax.

Marcelo P. Fiore

VenueA*LICS
Year2008
ProceedingsLICS
DBLP recordconf/lics/Fiore08 ↗

Browse the full LICS paper archive.