Logical properties of name restriction (2001)

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:48 - 6 self