Logical properties of name restriction (2001)

by L Cardelli, A D Gordon
Venue:Typed Lambda Calculus and Applications, 5th International Conference, volume 2044 of Lecture Notes in Computer Science