Characterizing convergent terms in object calculi via intersection types (2001)

by U de’ Liguoro
Venue:In TLCA’01, number 2044 in LNCS