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