Full abstraction for the second order subset of an ALGOL-like language (1995)

by K Seiber
Venue:Fach. Informatik, Univ. des Saarlandes