Рекурсивные типы: система $ \lambda\mu $. Отношение эквивалентности между типами, дерево типа. Типизация Y-комбинатора. Cвойства системы $ \lambda\mu $. Типы-пересечения: система $ \lambda\cap $. Отношение подтипирования, общий надтип $ \top $. Экспансия субъекта. Cвойства системы $ \lambda\cap $.