Pages that link to "Initial algebra"
Jump to navigation
Jump to search
The following pages link to Initial algebra:
Displaying 15 items.
- Abstract data type (← links)
- Structural induction (← links)
- Algebraic data type (← links)
- Natural numbers object (← links)
- Corecursion (← links)
- F-coalgebra (← links)
- Term algebra (← links)
- Catamorphism (← links)
- Anamorphism (← links)
- Inductive type (← links)
- Term (logic) (← links)
- Algebraic semantics (computer science) (← links)
- Polynomial functor (type theory) (← links)
- Testwiki:Requested articles/Mathematics (← links)
- Testwiki:Reference desk/Archives/Mathematics/June 2006 (← links)