This paper analyzes optimal linear taxes on labor income and savings in a two-period life-cycle model with ex ante identical households, endogenous leisure demands in both periods, and general processes of skill shocks over the life cycle. We demonstrate that the Atkinson–Stiglitz theorem...

This paper examines the efficient provision of goods in two-sided markets and characterizes optimal specific and ad-valorem taxes. We show that (i) a monopoly may have too high output compared to the social optimum; (ii) output may be reduced by imposing negative value-added taxes (subsidy) or...