Logical properties of name restriction (2001)

by L Cardelli, A Gordon
Venue:In TLCA’01, LNCS 2044:46–60