Pages that link to "Structural induction"
Jump to navigation
Jump to search
The following pages link to Structural induction:
Displaying 16 items.
- Mathematical induction (← links)
- Recursion (← links)
- Sprague–Grundy theorem (← links)
- Well-founded relation (← links)
- Intuitionistic type theory (← links)
- Program synthesis (← links)
- Loop invariant (← links)
- Recursive definition (← links)
- Recursion (computer science) (← links)
- Coinduction (← links)
- Inductive type (← links)
- Dependence logic (← links)
- Thompson's construction (← links)
- Refocusing (semantics) (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 February 17 (← links)
- Testwiki:School and university projects/Discrete and numerical mathematics/Learning plan (← links)