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

We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...

This paper studies the design of couples' income taxation. Consumption and labor supply decisions within the couple are made by maximizing a weighted sum of the spouses’ utilities; bargaining weights are given but specific to each couple. The information structure and labor supply decisions...