それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値(またはm-同値)であるという。 多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A
再帰データ型
を先頭に持つリストの場合があることを示している。 data List a = Nil | Cons a (List a) 型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。 TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。
再帰代名詞
pictures of himself were on display. ただし、標準英語では、この再帰動詞のlogophor的な使用は、一般に再帰動詞が共起語を持たない位置に限定される。 英語のいくつかの方言では、特に1人称、時には2人称、また特に受け手に対して反射的な関係を表すために標準的な目的代名詞を用いることが一般的であり、例えば、
Angie Ymnk commented