Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Induction-recursion 4 found (9 total)

alternate case: induction-recursion

Ad infinitum (241 words) [view diff] no match in snippet view article find links to article

up ad infinitum in Wiktionary, the free dictionary. Mathematical induction Recursion Self-reference "The Song That Never Ends" Turtles all the way down
Truth predicate (230 words) [view diff] no match in snippet view article find links to article
The main tools to prove this result are ordinary and transfinite induction, recursion methods, and ZF set theory (cf. and ). Pluralist theory of truth
Agda (programming language) (1,397 words) [view diff] no match in snippet view article
matching is a primitive of the language; the core language lacks the induction/recursion principles that pattern matching translates to. One of the distinctive
Intuitionistic type theory (4,646 words) [view diff] exact match in snippet view article find links to article
well-founded trees. Later work in type theory generated coinductive types, induction-recursion, and induction-induction for working on types with more obscure kinds