A strongly normalizable term having no type in the System F (second order -calculus). Rapporto interno, Univ. di (1987)

by P Giannini, F Honsell, S Ronchi Della Rocca