Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Type_theory> . }
Showing items 1 to 26 of
26
with 100 items per page.
- Conor_McBride field Type_theory.
- J._Roger_Hindley field Type_theory.
- Luca_Cardelli field Type_theory.
- Gregory_Bateson influenced Type_theory.
- Escher_(programming_language) influencedBy Type_theory.
- Per_Martin-L%C3%B6f knownFor Type_theory.
- RTT wikiPageDisambiguates Type_theory.
- Type wikiPageDisambiguates Type_theory.
- Logical_type wikiPageRedirects Type_theory.
- Ramified_Theory_of_Types wikiPageRedirects Type_theory.
- Simple_theory_of_types wikiPageRedirects Type_theory.
- System_of_types wikiPageRedirects Type_theory.
- Theory_of_Logical_Types wikiPageRedirects Type_theory.
- Theory_of_Types wikiPageRedirects Type_theory.
- Theory_of_types wikiPageRedirects Type_theory.
- Type-theoretic wikiPageRedirects Type_theory.
- Type_(logic) wikiPageRedirects Type_theory.
- Type_(mathematics) wikiPageRedirects Type_theory.
- Type_Theory wikiPageRedirects Type_theory.
- Typed_logic wikiPageRedirects Type_theory.
- List_of_mathematical_symbols category Type_theory.
- J._Roger_Hindley field Type_theory.
- Luca_Cardelli field Type_theory.
- Conor_McBride fields Type_theory.
- Escher_(programming_language) influencedBy Type_theory.
- Type_theory primaryTopic Type_theory.