A type-free look at types as parameters" Universita' di (1985)

by R Amadio, G Longo