DMCA

Definability and full abstraction

by Pierre-Louis Curien
Venue:GDP FESTSCHRIFT
Citations:24 - 1 self