A type assignment for the strongly normalizable terms (1980)

by G Pottinger