This paper extends the Diamond overlapping-generations model with pay-as-you-go social security by allowing for variable retirement age and for distortionary taxation of earnings and interest income. The tax rates are shown to depend on whether or not debt policy is available, and on the...

This paper studies the design of retirement and disability policies when individuals differ in both productivity and health. The second-best solution implies (downward) distortions in the (per-period) labor supply and in the choice of retirement age for some individuals, and lesser...

We model long-term care insurance in an optimal taxation framework. Every adult decides upon the amount and type of care he purchases for his dependent parent. We consider two alternatives: nursing-home care provided by the government, and home care paid by the child with some lump-sum subsidy...