Terms containing recursive types

Subject	English	Russian
progr.	mutually dependent and recursive access types	взаимозависимые и рекурсивные ссылочные типы (Alex_Odeychuk)
progr.	mutually recursive structure of types	взаимно рекурсивная структура типов (Alex_Odeychuk)
progr.	recursive algorithm for calculating the types of terms	рекурсивный алгоритм, вычисляющий типы термов (ssn)
math.	recursive equivalence type	тип рекурсивной эквивалентности
math.	recursive isomorphism type	тип рекурсивного изоморфизма
progr.	recursive type	рекурсивный тип (ssn)
progr.	recursive type definitions	рекурсивные определения типа (ssn)
progr.	recursive types across files	рекурсивные типы, размещённые в разных файлах (Alex_Odeychuk)
progr.	set of mutually recursive types	набор взаимозависимых типов (Alex_Odeychuk)
progr.	set of mutually recursive types	набор взаимно рекурсивных типов (Alex_Odeychuk)
math.	type recursive functional	функционал рекурсивного типа