A standard result in the optimal taxation literature is that, when agents differ in market ability and the government aims at redistributing from high- to low-skilled agents by means of an optimal nonlinear labor income tax and a set of commodity taxes, an optimally designed commodity tax...

Using an OLG model with skill uncertainty and private savings, we investigate whether an optimally designed set of public pension transfers can usefully supplement a nonlinear labor income tax as a welfare-enhancing policy instrument. We consider a Mirrleesian setting where agents' skills are...