Intersection Types and Lambda Theories (2002)

Cached

Download Links

by M. Dezani-Ciancaglini , S. Lusin , M. Dezani-ciancaglini S. Lusin
Venue:International Workshop on Isomorphisms of Types
Citations:3 - 1 self