Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types.

Ralph Matthes

Browse the full ICALP paper archive.