We propose a canonical model of optimal nonlinear redistributive taxation with matching unemployment. In our model, agents are endowed with different skill levels and labor markets are perfectly segmented by skill. The government only observes negotiated wages. More progressive taxation leads to...

This paper characterizes optimal income taxation when individuals respond along both the intensive and extensive margins. Individuals are heterogeneous across two dimensions: specifically, their skill and disutility of participation. Preferences over consumption and work effort can differ with...

We characterize optimal redistributive taxation when individuals are heterogeneous in their skills and their values of non-market activities. Search-matching frictions on the labor markets create unemployment. Wages, labor demand and participation are endogenous. Average tax rates are increasing...