Comparing social security programs with leisure and bequests

This paper compares social security programs in the AK model with leisure and bequests. It will show that the unfunded program with contribution-dependent benefits has smaller distortions than programs (funded or unfunded alike) with contribution-independent benefits