This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

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