Rank-2 intersection and polymorphic recursion (2005)

by F Damiani
Venue:In TLCA’05, volume 2841 of LNCS