In this paper we develop a computable general equilibrium economy that models the banking sector explicitly. Banks intermediate between households and between the household sector and the government sector. Households borrow from banks to finance their purchases of houses and they lend to banks...