Skip to content

Full abstraction for nominal general references.

Nikos Tzevelekos

VenueA*LICS
Year2007
ProceedingsLICS

Browse the full LICS paper archive.