Ferruccio Damiani Rank-2 Intersection and Polymorphic Recursion. 146-161 http://dx.doi.org/10.1007/11417170_12 2005 conf/tlca/2005 TLCA db/conf/tlca/tlca2005.html#Damiani05