Abstract
A simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems.
Citation
Silvia Ghilezan. "Strong Normalization and Typability with Intersection Types." Notre Dame J. Formal Logic 37 (1) 44 - 52, Winter 1996. https://doi.org/10.1305/ndjfl/1040067315
Information
