Definitions from Wikipedia (Induction-recursion)

▸ noun:  In intuitionistic type theory, a discipline within mathematical logic, induction-recursion is a feature for simultaneously declaring a type and function on that type.


▸ Words similar to induction-recursion
▸ Usage examples for induction-recursion

▸ Idioms related to induction-recursion
▸ Wikipedia articles (New!)
▸ Popular adjectives describing induction-recursion
▸ Words that often appear near induction-recursion
▸ Rhymes of induction-recursion

▸ Invented words related to induction-recursion