Lower and upper bounds for reductions of types in λω and λP