Rank-2 Intersection and Polymorphic Recursion (2005)

Cached

Download Links

by Ferruccio Damiani
Venue:In TLCA’05, volume 2841 of LNCS
Citations:3 - 0 self