G.Longo: A type-free look at types as parameters (0)

by R Amadio