We analyze optimal taxation of labor and capital income in a life-cycle framework with idiosyncratic income risk. We provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is independent of the social welfare function and...

Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...

It is often argued that implicit taxation on continued activity of elderly workers is responsible for the widely observed trend towards early retirement. In a world of laissez-faire or of first-best efficiency, there would be no such implicit taxation. The point of this paper is that when...