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

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

We use micro data from the U.S. Internal Revenue Service to document how households' tax liabilities vary with income, marital status and the number of dependents. We report facts on the distributions of average and marginal taxes, properties of the joint distributions of taxes paid and income,...