The benchmark optimal income taxation model of Mirrlees (1971) finds that the optimal marginal income tax rate (MIT) is always non-negative. A key model assumption is the coincidence between social and individual work preferences. This paper extends the model to allow for differences in social...

Presumptive income taxes in the form of a tax on turnover for SMEs are pervasive as a way to reduce the costs of compliance and administration. We analyze a model where entrepreneurs allocate labor to the formal and informal sectors. Formal sector income is subjected either to a corporate income...