Because the resulting calculus allows terms to have more than one type, it is no longer a "simple" type theory.
Επειδή ο προκύπτων λογισμός επιτρέπει όρους που έχουν περισσότερους από έναν τύπο, δεν είναι πλέον μία "απλή" θεωρία τύπων.