We study optimal housing taxation in a Mirrleesian framework where individuals differ in both labor productivity and land ownership. Housing services are produced by combining scarce land with structures that require maintenance, which can be performed either in-house or through market...

This paper shows that the combination of habit formation - present consumption creating additional consumption needs in the future - and myopia may explain why some retirees are forced to unretire, i.e., unexpectedly return to work. It also shows that when myopia about habit formation leads to...

It is often argued that implicit taxation on continued activity of elderly workers is responsible for the widely observed trend towards early retirement. In a world of laissez-faire or of first-best efficiency, there would be no such implicit taxation. The point of this paper is that when...