Fully abstract models of typed lambda calculi (1977)

by R Milner
Venue:Theoret. Comput. Sci