Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление \( \forall \). Проблемы разрешимости в полиморфном \( \lambda \)-исчислении в стиле Карри. Let-полиморфизм. Полиморфизм высших рангов. Система \( \lambda2 \) в стиле Чёрча. Универсальные абстракция и применение. Импредикативность. Связь между \( \lambda2 \) в стиле Карри и Черча. Сильная нормализация. Интерпретации \( \forall \)-типов. Параметричность.