The Mirrlees Review of the UK tax system, together with its companion volume of research papers, can be expected to influence future discussions of tax reform. Indeed, this can already be recognised in the Henry Review. As far as income taxation is concerned, the most substantive recommendation...

This note demonstrates that optimal tax calculations in overlapping generations models should not be based exclusively on long-run welfare changes. As the latter represent a mix of efficiency and intergenerational redistribution effects, they typically favor policies which redistribute towards...

This note demonstrates that optimal tax calculations in overlapping generations models should not be based exclusively on long-run welfare changes. As the latter represent a mix of efficiency and intergenerational redistribution effects, they typically favor policies which redistribute towards...

We analyze optimal taxation of labor and capital income in a life-cycle framework with idiosyncratic income risk. We provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is independent of the social welfare function and...

We analyze optimal taxation of labor and capital income in a life-cycle framework with idiosyncratic income risk. We provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is independent of the social welfare function and...

This paper analyses the national tax treatment of interestexpenditures of multinational enterprises in a non-cooperative world. It is shown that the international tax systemgenerally leads to distortions in the capitaldecisions of multinational firms. In contrast to the existingliterature on the...

We consider the issue of steady-state optimal factor taxation in a Ramsey-type dynamic general equilibrium setting with two distinct distortions: i) taxes on capital and labour are the only available tax instruments for raising revenues, and ii) labour markets are subject to a static...