Pages that link to "Initial algebra"
From HandWiki
The following pages link to Initial algebra:
Displayed 20 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Corecursion (← links)
- Structural induction (← links)
- Term algebra (← links)
- F-coalgebra (← links)
- F-algebra (← links)
- Anamorphism (← links)
- Catamorphism (← links)
- Natural number object (← links)
- Abstract data type (← links)
- Algebraic data type (← links)
- List object (← links)
- Polynomial functor (type theory) (← links)
- Inductive type (← links)
- Natural numbers object (← links)
- Uninterpreted function (← links)
- Algebraic semantics (computer science) (← links)
- Philosophy:Principle of compositionality (← links)
- Philosophy:Term (logic) (← links)
- Biography:Grigore Rosu (← links)
- Biography:Grigore Roșu (← links)
