The paper develops an integrated model of optimal nonlinear income taxation, public-goods provision and pricing in a large economy. With asymmetric information about labour productivities and publicgoods preferences, the multidimensional mechanism design problem becomes tractable by requiring...

The paper provides an extension and a new proof of Deaton's theorem on the undesirability of nonuniform excise taxation when income taxes are affine and preferences over consumption goods are separable from labour-leisure choices, homothetic, and identical across agents. -- Optimal Excise Taxes...

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions. The result is useful for analysing...