In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed.
Αντίθετα, συστήματα που εισάγουν πολυμορφικούς τύπους (όπως το Σύστημα F) ή εξαρτώμενους τύπους όπως το Logical Framework δεν θεωρούνται με απλούς τύπους.