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