Fully abstract models of the typed lambda calculus (1977)

by Robin Milner
Venue:Theoretical Computer Sci