“…Nevertheless, these characterizations are faced by at least two problems: (1) Characterizations using a general model of computation (whether machine-or programbased) require externally imposed and explicit resource bounding, either by a type-2 polynomial [KC91, KC96,FHHP15] or a bounding function within the class of [Con73,Meh76]. This is analogous to a shortcoming in Cobham's characterization of the class the light logic approach can deal with programs at higher types, its applications are restricted to type-1 complexity classes such as FP [BT04,BM10] or polynomial space [GMR08].…”