Logical properties of name restriction (2001)

Cached

Download Links

by Luca Cardelli , Andrew D. Gordon
Venue:Proc. 5th Int. Conf. Typed Lambda Calculi and Applications (TLCA’01), volume 2044 of Lecture Notes in Computer Science
Citations:46 - 6 self