Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Initial_algebra> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Initial_algebra wikiPageExternalLink rutten94initial.html.
- Initial_algebra wikiPageExternalLink free-rectypes.txt.
- Initial_algebra wikiPageExternalLink initiality_20and_20finality.html.
- Initial_algebra wikiPageExternalLink thesis.pdf.
- Initial_algebra wikiPageID "4116488".
- Initial_algebra wikiPageLength "8137".
- Initial_algebra wikiPageOutDegree "58".
- Initial_algebra wikiPageRevisionID "694830156".
- Initial_algebra wikiPageWikiLink Ackermann_function.
- Initial_algebra wikiPageWikiLink Actual_infinity.
- Initial_algebra wikiPageWikiLink Algebraic_data_type.
- Initial_algebra wikiPageWikiLink Anamorphism.
- Initial_algebra wikiPageWikiLink Binary_tree.
- Initial_algebra wikiPageWikiLink Catamorphism.
- Initial_algebra wikiPageWikiLink Category:Category_theory.
- Initial_algebra wikiPageWikiLink Category:Functional_programming.
- Initial_algebra wikiPageWikiLink Category:Type_theory.
- Initial_algebra wikiPageWikiLink Charity_(programming_language).
- Initial_algebra wikiPageWikiLink Coinduction.
- Initial_algebra wikiPageWikiLink Computability_theory.
- Initial_algebra wikiPageWikiLink Cons.
- Initial_algebra wikiPageWikiLink Corecursion.
- Initial_algebra wikiPageWikiLink Data_structure.
- Initial_algebra wikiPageWikiLink Data_type.
- Initial_algebra wikiPageWikiLink Domain_of_a_function.
- Initial_algebra wikiPageWikiLink Duality_(mathematics).
- Initial_algebra wikiPageWikiLink F-algebra.
- Initial_algebra wikiPageWikiLink F-coalgebra.
- Initial_algebra wikiPageWikiLink Fold_(higher-order_function).
- Initial_algebra wikiPageWikiLink Function_(mathematics).
- Initial_algebra wikiPageWikiLink Functional_programming.
- Initial_algebra wikiPageWikiLink Functor.
- Initial_algebra wikiPageWikiLink Haskell_(programming_language).
- Initial_algebra wikiPageWikiLink Homomorphism.
- Initial_algebra wikiPageWikiLink Identity_function.
- Initial_algebra wikiPageWikiLink Initial_and_terminal_objects.
- Initial_algebra wikiPageWikiLink Inverse_function.
- Initial_algebra wikiPageWikiLink Isomorphism.
- Initial_algebra wikiPageWikiLink Lazy_evaluation.
- Initial_algebra wikiPageWikiLink Least_fixed_point.
- Initial_algebra wikiPageWikiLink List_(abstract_data_type).
- Initial_algebra wikiPageWikiLink Lookup_table.
- Initial_algebra wikiPageWikiLink ML_(programming_language).
- Initial_algebra wikiPageWikiLink Mathematical_induction.
- Initial_algebra wikiPageWikiLink Mathematical_optimization.
- Initial_algebra wikiPageWikiLink Mathematics.
- Initial_algebra wikiPageWikiLink Natural_number.
- Initial_algebra wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Initial_algebra wikiPageWikiLink Parametricity.
- Initial_algebra wikiPageWikiLink Partial_function.
- Initial_algebra wikiPageWikiLink Programming_language.
- Initial_algebra wikiPageWikiLink Recursion.
- Initial_algebra wikiPageWikiLink Simple_algebra.
- Initial_algebra wikiPageWikiLink Tree.
- Initial_algebra wikiPageWikiLink Truth_value.
- Initial_algebra wikiPageWikiLink Uniqueness_quantification.
- Initial_algebra wikiPageWikiLink Universal_property.
- Initial_algebra wikiPageWikiLink Up_to.
- Initial_algebra wikiPageWikiLinkText "Initial algebra".
- Initial_algebra wikiPageWikiLinkText "final coalgebra".
- Initial_algebra wikiPageWikiLinkText "final".
- Initial_algebra wikiPageWikiLinkText "initial algebra".
- Initial_algebra wikiPageWikiLinkText "initial".
- Initial_algebra wikiPageUsesTemplate Template:Technical.
- Initial_algebra subject Category:Category_theory.
- Initial_algebra subject Category:Functional_programming.
- Initial_algebra subject Category:Type_theory.
- Initial_algebra type Function.
- Initial_algebra label "Initial algebra".
- Initial_algebra sameAs Q6034125.
- Initial_algebra sameAs 始代数.
- Initial_algebra sameAs m.0bjznt.
- Initial_algebra sameAs Q6034125.
- Initial_algebra wasDerivedFrom Initial_algebra?oldid=694830156.
- Initial_algebra isPrimaryTopicOf Initial_algebra.