Miloš Kosterec

, 2017, 'On the number of types', Synthese 194 (12), 5005-5021.