Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dependent_type> ?p ?o }
- Dependent_type wikiPageWikiLinkText "generalised product type".
- Dependent_type wikiPageWikiLinkText "generalised sum type".
- Dependent_type id "dependent+product".
- Dependent_type id "dependent+product+type".
- Dependent_type id "dependent+sum".
- Dependent_type id "dependent+sum+type".
- Dependent_type id "dependent+type".
- Dependent_type id "dependent+type+theory".
- Dependent_type title "dependent product type".
- Dependent_type title "dependent product".
- Dependent_type title "dependent sum type".
- Dependent_type title "dependent sum".
- Dependent_type title "dependent type theory".
- Dependent_type title "dependent type".
- Dependent_type wikiPageUsesTemplate Template:Anchor.
- Dependent_type wikiPageUsesTemplate Template:Cite_book.
- Dependent_type wikiPageUsesTemplate Template:Cite_journal.
- Dependent_type wikiPageUsesTemplate Template:Dunno.
- Dependent_type wikiPageUsesTemplate Template:Nlab.
- Dependent_type wikiPageUsesTemplate Template:No.
- Dependent_type wikiPageUsesTemplate Template:Reflist.
- Dependent_type wikiPageUsesTemplate Template:Refn.
- Dependent_type wikiPageUsesTemplate Template:See_also.
- Dependent_type wikiPageUsesTemplate Template:Type_systems.
- Dependent_type wikiPageUsesTemplate Template:Yes.
- Dependent_type subject Category:Dependently_typed_programming.
- Dependent_type subject Category:Type_theory.
- Dependent_type hypernym Type.
- Dependent_type type Redirect.
- Dependent_type type Thing.
- Dependent_type type Concept.
- Dependent_type comment "In computer science and logic, a dependent type is a type whose definition depends on a value. A \"string\" is a type. A \"fixed-length string of length 5\" is a dependent type because of the dependence on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like \"for all\" and \"there exists\".".
- Dependent_type label "Dependent type".
- Dependent_type seeAlso Proof_assistant.
- Dependent_type sameAs Q997433.
- Dependent_type sameAs Εξαρτώμενος_τύπος.
- Dependent_type sameAs Type_dépendant.
- Dependent_type sameAs 依存型.
- Dependent_type sameAs m.06891z.
- Dependent_type sameAs Зависимый_тип.
- Dependent_type sameAs Q997433.
- Dependent_type sameAs 依赖类型.
- Dependent_type wasDerivedFrom Dependent_type?oldid=707919026.
- Dependent_type isPrimaryTopicOf Dependent_type.