Characterizing Convergent Terms in Object Calculi via Intersection Types

Cached

Download Links

by Ugo de'Liguoro
Citations:11 - 4 self