Fully abstract models of typed *-calculi (1977)

by R Milner
Venue:Theor. Comput. Sci