system-f

He estado leyendo sobre varios sistemas de tipos y cálculos lambda, y veo que todos los cálculos lambda mecanografiados en el ... es el cambio mínimo necesario para permitir el cálculo completo de Turing? Muchas gracias a quien me ayude a entender esto.