Pages that link to "Initial algebra"
Showing 50 items.
- Abstract data type (links | edit)
- Structural induction (links | edit)
- Algebraic data type (links | edit)
- Natural numbers object (links | edit)
- Principle of compositionality (links | edit)
- Corecursion (links | edit)
- F-coalgebra (links | edit)
- F-algebra (links | edit)
- Term algebra (links | edit)
- Catamorphism (links | edit)
- Anamorphism (links | edit)
- Uninterpreted function (links | edit)
- Inductive type (links | edit)
- Term (logic) (links | edit)
- Algebraic semantics (computer science) (links | edit)
- Final coalgebra (redirect to section "Final coalgebra") (links | edit)
- List object (links | edit)
- Polynomial functor (type theory) (links | edit)
- Grigore Roșu (links | edit)
- Initial F-algebra (redirect page) (links | edit)
- Talk:Proof of mathematical induction (links | edit)
- Talk:Initial algebra (transclusion) (links | edit)
- Talk:Mathematical induction/Archive (links | edit)
- User:VeblenBot/Unreferenced (links | edit)
- User:VeblenBot/Unreferenced2 (links | edit)
- User:Physis/Former watchlist (links | edit)
- User:Philogo/Subpage 6 (links | edit)
- User:Owsteele/Books/CategoryTheory (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Ezrakilty/Draft of Anamorphism (links | edit)
- User:Ezrakilty/Draft of Anamorphism as generic function (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (I) (links | edit)
- User:Operowland/Books/NNNN (links | edit)
- User:Janlima/Books/Data Types (links | edit)
- User:Operowland/Books/qin9 (links | edit)
- User:Zarzuelazen/Books/Reality Theory: Mathematical Logic (links | edit)
- User:Siddharthist (links | edit)
- User:Fropuff/Drafts/Endofunctor (links | edit)
- User:Ndcroos/Fusion calculus (links | edit)
- User:Izno/Sandbox/Math-link (links | edit)
- User:Izno/Sandbox/Math-link/doc (links | edit)
- User talk:Vartan84 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (G–I) (links | edit)
- Wikipedia:Requested articles/Mathematics (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (I) (links | edit)
- Wikipedia:Reference desk/Archives/Mathematics/June 2006 (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2009/Aug (links | edit)
- Category talk:Type theory (links | edit)
- Draft:Conatural Number (redirect to section "Final coalgebra") (links | edit)