Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper.[1] It is related to bar induction in the same fashion that primitive recursion is related to ordinary induction, or transfinite recursion is related to transfinite induction.
^C. Spector (1962). "Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics". In F. D. E. Dekker (ed.). Recursive Function Theory: Proc. Symposia in Pure Mathematics. Vol. 5. American Mathematical Society. pp. 1–27.
Barrecursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to bar induction in the same fashion that primitive...
tail recursive, which is a special case of direct recursion. Tail recursion (or tail-end recursion) is particularly useful, and is often easy to optimize...
parsing, left recursion must be eliminated. Direct recursion, be that left or right, is important in context-free grammars, because there recursion is the only...
can be given a Dialectica interpretation by extending system T with barrecursion. The Dialectica interpretation has been used to build a model of Girard's...
code into an infinite loop. Infinite recursion is a special case of an infinite loop that is caused by recursion. The following example in Visual Basic...
new-lines, wherein ⍺ denotes the left argument and ⍵ the right, and ∇ denotes recursion (function self-reference). For example, the function PT tests whether...
such as products, coproducts or natural numbers (System T) or even full recursion (like PCF). In contrast, systems that introduce polymorphic types (like...
{\displaystyle f({\bar {u}})=h(g_{1}({\bar {u}}),g_{2}({\bar {u}}),\dots ,g_{m}({\bar {u}}))} is as well); and the results of limited (primitive) recursion applied...
D. at the University of Chicago in 1956 for his dissertation "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane. The Howard...
ninth season of the animated series Archer, "Danger Island". A fictional recursion occurs in "The Sultan of Swat" in which – while waiting for the Boeing...
song You're the One That I Want.[citation needed] "recursion( see it )" shows a "Did you mean: recursion", linking to the same search over and over again...
{\displaystyle \kappa _{n}} of the probability distribution of Y satisfy the recursion κ n + 1 = μ ( μ + 1 ) d κ n d μ . {\displaystyle \kappa _{n+1}=\mu (\mu...
Mathematical induction in this extended sense is closely related to recursion. Mathematical induction is an inference rule used in formal proofs, and...
languages that require declaration before use; it is necessary for mutual recursion in such languages, as it is impossible to define such functions (or data...
biolinguistics has proposed that universal grammar consists solely of syntactic recursion, and that it arose recently in humans as the result of a random genetic...
performed poorly on recursion-intensive benchmarks, such as those of Google, because the Mozilla team had not implemented recursion-tracing yet. Two weeks...
Press. Chomsky, Noam. 2007. Approaching UG From Below. In Interfaces + Recursion = Language?, eds. Uli Sauerland and Hans Martin Gärtner, 1–29. New York:...