We present a survey of key results from second-best optimal redistribution theory and their implications for tax-transfer policy. The core results include the Corlett-Hague theorem, the Deaton conditions, the production-efficiency theorem, the Atkinson-Stiglitz theorem, and the Mirrlees-Saez...

Tax evasion analysis typically assumes that evasion involves individual taxpayers responding to some given policies. However, evading taxes could require the collaboration of at least two taxpayers. Detection depends on the costly avoidance activities of both transacting partners. An increase in...

Both federal and provincial governments in Canada levy corporate taxes on businesses in their jurisdictions, which potentially gives rise to horizontal and vertical tax externalities within the federation. Using a simple model of interdependent tax choices, we estimate tax-setting functions for...

The authors model a firm that explores, develops, and extracts a depletable asset, taking into account various features of Canadian corporate and Ontario and Quebec mining tax law. They derive the user cost of capital and effective tax rate for investments undertaken by a mining firm....