Definability and full abstraction

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