We develop models of optimal linear and non-linear income taxation with endogenous human capital formation to explore optimal education subsidies. Optimal subsidies on education ensure efficiency in human capital accumulation and thus play an important role in alleviating the tax distortions on...

The literature on tax systems generally considers each type of tax in a self-contained way, with its own distributive characteristics. While the income tax is considered as a progressive tax, social insurance contributions are seen as being regressive, namely because of ceilings. Using a...