We develop a general equilibrium model of residential choice and study the effects of two housing aid policies, public housing units and housing vouchers. Land is differentiated by both residential accessibility and local public goods, and the provision levels of local public goods are...