Definability and full abstraction (0)

by Pierre-Louis Curien
Venue:Electronic Notes in Theoretical Computer Science