Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Bar recursion
open-in-new
<p>Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to <a href="/facts/Bar_induction/pqgaLt8Y">bar induction</a> in the same fashion that <a href="/facts/Primitive_recursion/4z97gRnl">primitive recursion</a> is related to ordinary <a href="/facts/Mathematical_induction/KxAPqNrH">induction</a>, or <a href="/facts/Transfinite_recursion/XlolgTDl">transfinite recursion</a> is related to <a href="/facts/Transfinite_induction/XlolgTDl">transfinite induction</a>. </p>