Fully abstract semantics of typed -calculi (1977)

by r milner
Venue:Theoret. Comput. Sci