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...

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...