Employing a general equilibrium framework, Blackorby and Murty [2007] prove that, with a monopoly and under one hundred percent profit taxation and uniform lump-sum transfers, the utility possibility sets of economies with unit and ad valorem taxes are identical. This welfare-equivalence is in...

This paper contributes to resolving the puzzle that in practice most countries use ad valorem (corporate income) taxation, while a large part of the tax competition literature views business taxes as unit (wealth) taxation. We point to the dual role that corporate taxation plays in attracting...

This paper analyzes the efficient taxation of oil and capital income in an oil-dependent infinite-lived economy facing perfect capital mobility. Two cases are examined: one with product market imperfections and free tax choice, one with perfect competition and tax restrictions. The optimal tax...

The Mirrlees Review recommends that commodity taxation should in general be uniform, but with some goods consumed in conjunction with labour supply (such as child care) left untaxed. This paper examines the validity of this claim in an optimal income tax framework. Contrary to the recommendation...

The Mirrlees Review recommends that commodity taxation should in general be uniform, but with some goods consumed in conjunction with labour supply (such as child care) left untaxed. This paper examines the validity of this claim in an optimal income tax framework. Contrary to the recommendation...

This paper revisits the Atkinson-Stiglitz result on uselessness of commodity taxation in the presence of optimal non-linear income taxation in a more general setup, namely when tastes are heterogeneous. This general analysis displays the key economic assumptions under which the Atkinson-Stiglitz...

This paper revisits the Atkinson-Stiglitz result on uselessness of commodity taxation in the presence of optimal non-linear income taxation in a more general setup, namely when tastes are heterogeneous. This general analysis displays the key economic assumptions under which the Atkinson-Stiglitz...