Terms for subject Mathematics containing recursive types

English	Russian
recursive equivalence type	тип рекурсивной эквивалентности
recursive isomorphism type	тип рекурсивного изоморфизма
type recursive functional	функционал рекурсивного типа