corecursion

名词 n.
中文释义

英文释义

名词 n.
  1. The dual to recursion, that acts on the computed result, rather than the input. uncountable
    — The natural numbers #92;N may be defined by corecursion as #92;#123;0#92;#125;#92;cup#92;#123;n#43;1
    n \in \N\}.

词源

From co- + recursion.
0 次浏览 数据来源: Wiktionary