Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...

Almost all theoretical work on how to calculate the marginal deadweight loss has been done for linear taxes and for variations in linear budget constraints. This is quite surprising since most income tax systems are nonlinear, generating nonlinear budget constraints. Instead of developing the...