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 the optimal redistributive taxation when individuals are heterogeneous in two exogenous dimensions: their skills and their values of non-market activities. Search-matching frictions on the labor markets create unemployment. Wages, labor demand and participation are...