Logical properties of name restriction (2001)

by L Cardelli, A D Gordon
Venue:In In-ternational Conference on Typed Lambda Calculi and Applications (TCLA 2001, Krakow