Fully abstract semantics of typed l-calculi (1977)

by Robin Milner
Venue:Theoret. Comput. Sci