Definability and full abstraction (2007)

by P-L Curien
Venue:In Computation, Meaning and Logic, Articles dedicated to Gordon Plotkin, volume 172 of ENTCS