Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...

This article presents a survey of how optimal income taxation is influenced by labour market considerations. We begin with the standard supply-side optimal income tax model of Mirrlees, and outline the various extensions to that model. We then consider how optimal taxation is affected by various...