Full abstraction via logical relations (1995)

by K Sieber
Venue:Habilitationsschrift, FB 14 Informatik, Universitat des Saarlandes