A congestible urban transport system is considered in which cars and buses are used for commuting and non-commuting trips. Commuting is a strict complement to taxable labour supply. The optimal tax structure for raising a given amount of government revenue is examined for the cases where...

A federal government tries to force local governments to implement welfare optimal tolling and investment. Welfare optimal tolling requires charging for marginal external costs. Local governments have an incentive to charge more than the marginal social cost whenever there is transit traffic. We...