Fully abstract models of the typed - calculus (1977)

by R Milner
Venue:Theoretical Computer Science