Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_constructor> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Type_constructor wikiPageID "24047271".
- Type_constructor wikiPageLength "2374".
- Type_constructor wikiPageOutDegree "21".
- Type_constructor wikiPageRevisionID "704619228".
- Type_constructor wikiPageWikiLink Algebraic_data_type.
- Type_constructor wikiPageWikiLink Arity.
- Type_constructor wikiPageWikiLink Category:Type_theory.
- Type_constructor wikiPageWikiLink Computer_science.
- Type_constructor wikiPageWikiLink Currying.
- Type_constructor wikiPageWikiLink Formal_language.
- Type_constructor wikiPageWikiLink Function_type.
- Type_constructor wikiPageWikiLink Kind_(type_theory).
- Type_constructor wikiPageWikiLink Lambda_cube.
- Type_constructor wikiPageWikiLink List_(abstract_data_type).
- Type_constructor wikiPageWikiLink Mathematical_logic.
- Type_constructor wikiPageWikiLink Peter_Johnstone_(mathematician).
- Type_constructor wikiPageWikiLink Primitive_data_type.
- Type_constructor wikiPageWikiLink Product_type.
- Type_constructor wikiPageWikiLink Recursive_data_type.
- Type_constructor wikiPageWikiLink Simply_typed_lambda_calculus.
- Type_constructor wikiPageWikiLink System_F.
- Type_constructor wikiPageWikiLink Type_theory.
- Type_constructor wikiPageWikiLink Typed_lambda_calculus.
- Type_constructor wikiPageWikiLinkText "Type constructor".
- Type_constructor wikiPageWikiLinkText "type constructor".
- Type_constructor wikiPageWikiLinkText "type operators".
- Type_constructor wikiPageUsesTemplate Template:Cite_book.
- Type_constructor wikiPageUsesTemplate Template:Data_types.
- Type_constructor wikiPageUsesTemplate Template:Type-theory-stub.
- Type_constructor subject Category:Type_theory.
- Type_constructor label "Type constructor".
- Type_constructor sameAs Q7860899.
- Type_constructor sameAs Κατασκευαστής_τύπων.
- Type_constructor sameAs m.07k6_jy.
- Type_constructor sameAs Конструктор_типов.
- Type_constructor sameAs Конструктор_типу.
- Type_constructor sameAs Q7860899.
- Type_constructor wasDerivedFrom Type_constructor?oldid=704619228.
- Type_constructor isPrimaryTopicOf Type_constructor.