Esfeld, Michael and Sachse, Christian (2007) Theory reduction by means of functional sub-types. [Preprint]