Fully abstract models of typed lambda-calculi (1977)

by R Milner
Venue:Theoretical Computer Science